Investigations Into Non-classical Logic

dc.contributor.advisorMihálydeák, Tamás
dc.contributor.authorVályi, Sándor
dc.contributor.departmentMatematika- és számítástudományok doktori iskolahu
dc.date.accessioned2010-01-15T12:38:29Z
dc.date.available2010-01-15T12:38:29Z
dc.date.created2008en
dc.date.defended2009-02-03
dc.description.abstract-en
dc.description.correctorNE
dc.format.extent122en
dc.identifier.urihttp://hdl.handle.net/2437/91206
dc.language.isohuen
dc.language.isoenen
dc.subjectAxiomatizabilityen
dc.subjectaxiomatizálhatóságen
dc.subjectspatio-temporal theories
dc.subjectspatio-temporális
dc.subject.disciplineMatematika- és számítástudományokhu
dc.subject.sciencefieldTermészettudományokhu
dc.titleInvestigations Into Non-classical Logicen
dc.title.subtitle(Axiomatizability of Spatio-temporal Theories and Complexity of Interval-valued Computations)en
dc.title.translatedNem-klasszikus logikai vizsgálódásoken
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 4 (Összesen 4)
Nincs kép
Név:
Valyi-dissz.pdf
Méret:
670.36 KB
Formátum:
Adobe Portable Document Format
Nincs kép
Név:
Valyi-tezisek.pdf
Méret:
263.92 KB
Formátum:
Adobe Portable Document Format
Nincs kép
Név:
disszertacio.pdf
Méret:
712.28 KB
Formátum:
Adobe Portable Document Format
Leírás:
Az értekezés angolul
Nincs kép
Név:
tezisek.pdf
Méret:
275.74 KB
Formátum:
Adobe Portable Document Format
Leírás:
A tézisek angolul és magyarul