TalTech publikatsioonid
pealdis Tammet, T.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ee
keel eesti
autor Tammet, Tanel
pealkiri Järelsõna
vastutusandmed Ernest Nagel, James R. Newman ; inglise keelest tõlkinud Märt Väljataga ; [toimetanud Tiina Hallik ; kujundanud Merle Moorlat]
allikas Gödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga
ilmumiskoht [Tallinn]
kirjastus/väljaandja EKSA
ilmumisaasta 2020
leheküljed lk. 125−135
märksõna matemaatiline loogika
teoreemid
tõestused
teadusfilosoofia
järelsõnad
tema kohta Nagel, Ernest, 1901-1985
Newman, James R., 1907-1966
märkused Originaali pealk.: Mõned põhiteoreemid matemaatika aluste kohta ja nende implikatsioonid = Some basic theorems on the foundations of mathematics and their implications
url https://www.ester.ee/record=b5346988*est