國立虎尾科技大學 |

Language: English

Back

Sentences undecidable in formalized ...

Mostowski, Andrzej.

Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Sentences undecidable in formalized arithmetic/ edited by Andrzej Mostowski.
Reminder of title:	an exposition of the theory of Kurt Godel /
other author:	Mostowski, Andrzej.
Published:	Dordrecht :Elsevier Science, : 1952.,
Description:	v, 117 p. ;23 cm.;
Subject:	Logic, Symbolic and mathematical. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444533753 (electronic bk.)

Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /
Sentences undecidable in formalized arithmetican exposition of the theory of Kurt Godel /[electronic resource] :edited by Andrzej Mostowski. - Dordrecht :Elsevier Science,1952. - v, 117 p. ;23 cm. - Studies in Logic and the Foundations of Mathematics ;v. 10. - Studies in logic and the foundations of mathematics ;v. 64, 115..

Includes bibliographical references.

ISBN: 9780444533753 (electronic bk.) Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9.G63 / S46 1952

Dewey Class. No.: 511.3

Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /
LDR:00858nam a2200205 a 4500 001 809649
005 20130419114644.0
008 150720s1952 ne sb 000 0 eng d
020 $a 9780444533753 (electronic bk.)
020 $a 9780444533753
035 $a 13003545
040 $a OPELS $b eng $c OPELS $d OCLCQ
041 0 $a eng
050 4 $a QA9.G63 $b S46 1952
082 0 4 $a 511.3 $2 22
245 0 0 $a Sentences undecidable in formalized arithmetic $h [electronic resource] : $b an exposition of the theory of Kurt Godel / $c edited by Andrzej Mostowski.
260 $a Dordrecht : $b Elsevier Science, $c 1952.
300 $a v, 117 p. ; $c 23 cm.
490 1 $a Studies in Logic and the Foundations of Mathematics ; $v v. 10
504 $a Includes bibliographical references.
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Semantics (Philosophy) $3 559949
650 0 $a Godel's theorem. $3 908191
700 1 $a Mostowski, Andrzej. $3 903108
830 0 $a Studies in logic and the foundations of mathematics ; $v v. 64, 115. $3 743064
856 4 0 $u http://www.sciencedirect.com/science/book/9780444533753 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

Multimedia

Reviews

Export

pickup library