Κανονική προβολή Προβολή MARC Προβολή ISBD

Mostowski, Andrzej

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski. - Amsterdam : North-Holland, 1964. - viii, 117 σ. ; 24 εκ. - Studies in logic and the foundations of mathematics . - Studies in logic and the foundations of mathematics .

Περιλαμβάνει βιβλιογραφία.

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική

Dewey Class. No.: 511.3