Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Amsterdam : North-Holland , 1952
Omfang	VIII, 117 s.
Emner	Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) Beslutningsproblemer

Biblioteksøk