Author: Mostowski, Andrzej
Title: Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel (Studies in Logic and the Foundations of Mathematics).
Description: Amsterdam, North-Holland Publisihng Company, 1964, softbound, 8vo, viii+117 pp., auxiliary notions and theorems of arithmetic; the system (S) and its syntx; semantics of (S); recursivity and definability of functions and relations; proofs of incompleteness theorems; nearfine condition. . .

Keywords: mathematics, Gödel, arithmetic


See more books from our catalog: Science (exact)