Sentences undecidable in formalized arithmetic.

Bibliographic Details
Main Author: Mostowski, Andrzej
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1952.
Series:Studies in logic and the foundations of mathematics.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 4500
001 in00000061047
005 20151008051055.0
008 720803s1952 eng u
010 |a  52002458  
035 |a (OCoLC)00373243 
035 |9 AAG5519AM 
040 |c WSU  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [219018] 
090 |a BC135  |b .M6 
092 |a 164  |b M916s 
100 1 |a Mostowski, Andrzej. 
245 1 0 |a Sentences undecidable in formalized arithmetic. 
264 1 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1952. 
300 |a 117 pages 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Includes bibliography. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Semantics (Philosophy) 
650 0 |a Gödel's theorem. 
830 0 |a Studies in logic and the foundations of mathematics. 
999 |a MARS 
999 f f |s 6ca7f8f3-1b39-3ad8-821e-f852d474712e  |i 5695170f-85d0-3c8d-8310-993fc0beca14  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e BC135 .M6  |h Library of Congress classification  |i unmediated -- volume  |m A14800530905 
998 f f |a BC135 .M6  |t 0  |l Remote Storage