國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Undecidable theories

~

Robinson, Raphael M. (1911-)

Undecidable theories

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Undecidable theories/ editedby Alfred Tarski ; in collaboration with AndrzejMostowski and Raphael M. Robinson.
other author:	Tarski, Alfred.
Published:	Amsterdam :North-Holland, : 1953.,
Description:	ix, 98 p. ;25 cm.;
Subject:	Godel's theorem. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444533784 (electronic bk.)

Undecidable theories
Undecidable theories[electronic resource] /editedby Alfred Tarski ; in collaboration with AndrzejMostowski and Raphael M. Robinson. - Amsterdam :North-Holland,1953. - ix, 98 p. ;25 cm. - Studies in Logic and the Foundations of Mathematics ;v. 13.

Includes bibliographical references and index.

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

908191
Godel's theorem.

LC Class. No.: QA9.65 / .U53 1953

Dewey Class. No.: 511.3

Undecidable theories
LDR:00870nam a2200205 a 4500 001 810233
005 20130416143315.0
008 150720s1953 ne sb 001 0 eng d
020 $a 9780444533784 (electronic bk.)
020 $a 9780444533784
035 $a 13004329
040 $a OPELS $b eng $c OPELS $d OCLCQ $d OCLCE $d OCLCQ
041 0 $a eng
050 4 $a QA9.65 $b .U53 1953
082 0 4 $a 511.3 $2 22
245 0 0 $a Undecidable theories $h [electronic resource] / $c editedby Alfred Tarski ; in collaboration with AndrzejMostowski and Raphael M. Robinson.
260 $a Amsterdam : $b North-Holland, $c 1953.
300 $a ix, 98 p. ; $c 25 cm.
490 0 $a Studies in Logic and the Foundations of Mathematics ; $v v. 13
504 $a Includes bibliographical references and index.
650 0 $a Godel's theorem. $3 908191
650 0 $a Decidability (Mathematical logic) $v Congresses. $3 793386
700 1 $a Tarski, Alfred. $3 836180
700 1 $a Mostowski, Andrzej. $3 903108
700 1 $a Robinson, Raphael M. $q (Raphael Mitchel), $d 1911- $3 909574
856 4 0 $u http://www.sciencedirect.com/science/book/9780444533784 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login