Inexhaustibility : a non-exhaustive treatment /

Bibliographic Details
Main Author: Franzén, Torkel
Format: Book
Language:English
Published: Urbana, Ill. : Wellesley, Mass. : Association for Symbolic Logic ; A K Peters, [2004]
Series:Lecture notes in logic ; 16.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000pam a22000004a 4500
001 in00002017849
005 20151031150357.0
008 020327s2004 ilu b 001 0 eng
010 |a  2002025765 
020 |a 1568811748 
020 |a 1568811756 (pbk.) 
035 |a (OCoLC)ocm49531175 
040 |a DLC  |c DLC  |d YDX  |d UtOrBLW 
042 |a pcc 
049 |a TXAM 
050 0 0 |a QA9.56  |b .F73 2004 
082 0 0 |a 511.3  |2 21 
100 1 |a Franzén, Torkel. 
245 1 0 |a Inexhaustibility :  |b a non-exhaustive treatment /  |c by Torkel Franzén. 
264 1 |a Urbana, Ill. :  |b Association for Symbolic Logic ;  |a Wellesley, Mass. :  |b A K Peters,  |c [2004] 
264 4 |c ©2004 
300 |a xi, 251 pages ;  |c 23 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in logic ;  |v 16 
504 |a Includes bibliographical references (pages 243-244) and index. 
650 0 |a Incompleteness theorems. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Mathematics  |x Philosophy. 
830 0 |a Lecture notes in logic ;  |v 16. 
945 |i PromptCat 
948 |a cataloged  |b cmulkey  |c 2004/12/13  |d 7:24:41 am 
994 |a 92  |b TXA 
999 |a MARS 
999 f f |s 7d658baf-1340-374d-a1e9-eca01a5e1385  |i 9f29a625-8ca1-3209-bdbb-efff83d8f6d7  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |s JLF  |d Remote Storage  |t 0  |e QA9.56 .F73 2004  |h Library of Congress classification  |i unmediated -- volume  |m A14831656938 
998 f f |a QA9.56 .F73 2004  |t 0  |l Remote Storage