Cover Image

Handbook of mathematical logic /

Show other versions (1)

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides t...

Full description

Bibliographic Details
Corporate Author: ScienceDirect (Online service)
Other Authors: Barwise, Jon, Keisler, H. Jerome
Format: eBook
Language:English
Language Notes:English.
Published: Amsterdam ; New York : North-Holland Pub. Co., 1977.
Series:Studies in logic and the foundations of mathematics ; v. 90.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Symbolische logica.
Wiskundige logica.
MATHEMATICAL LOGIC.
Electronic books.
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 a 4500
001 in00005738513
005 20260326162923.8
006 m o d
007 cr cnu---unuuu
008 090730s1977 ne ob 001 0 eng d
010 |z  76026032  
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d UBY  |d IDEBK  |d E7B  |d OCLCQ  |d OPELS  |d OCLCQ  |d OPELS  |d OCLCF  |d OCLCE  |d NLGGC  |d YDXCP  |d OCLCQ  |d COO  |d OCLCQ  |d DEBSZ  |d LEAUB  |d INARC  |d OCLCQ  |d VLY  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d REDDC  |d VT2  |d OCLCQ  |d OCLCO  |d K6U  |d COA  |d OCLCL  |d OCLCQ 
019 |a 428097354  |a 505121714  |a 624470974  |a 647803462  |a 680496624  |a 906465895  |a 1086556679  |a 1149376378  |a 1162201989  |a 1167191277  |a 1289376599  |a 1291283327  |a 1294657300  |a 1296510203  |a 1340083327  |a 1409002702 
020 |a 9780080933641  |q (electronic bk.) 
020 |a 0080933645  |q (electronic bk.) 
020 |a 1282169181 
020 |a 9781282169180 
020 |a 9786612169182 
020 |a 6612169184 
020 |z 9780720422856 
020 |z 0444863885  |q (PB) 
020 |z 9780444863881 
020 |z 072042285X 
020 |z 0720422000 
020 |z 9780720422009 
024 8 |a (WaSeSS)ssj0000167823 
035 |a (OCoLC)428734971  |z (OCoLC)428097354  |z (OCoLC)505121714  |z (OCoLC)624470974  |z (OCoLC)647803462  |z (OCoLC)680496624  |z (OCoLC)906465895  |z (OCoLC)1086556679  |z (OCoLC)1149376378  |z (OCoLC)1162201989  |z (OCoLC)1167191277  |z (OCoLC)1289376599  |z (OCoLC)1291283327  |z (OCoLC)1294657300  |z (OCoLC)1296510203  |z (OCoLC)1340083327  |z (OCoLC)1409002702 
037 |a 1093334:10879211  |b Elsevier Science & Technology  |n http://www.sciencedirect.com 
042 |a dlr 
050 4 |a QA9  |b .H32 1977eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511/.3  |2 22 
084 |a 31.10  |2 bcl 
084 |a P 61  |2 blsrissc 
084 |a 03B10  |2 msc 
084 |a 03B12  |2 msc 
084 |a ALZ 3MS  |2 bliss 
088 |a 76026032 
049 |a TXAM 
245 0 0 |a Handbook of mathematical logic /  |c edited by Jon Barwise, with the cooperation of H.J. Keisler [and others]. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Pub. Co.,  |c 1977. 
300 |a 1 online resource (xi, 1165 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |2 rdaft  |0 http://rdaregistry.info/termList/fileType/1002. 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 90 
504 |a Includes bibliographical references and index. 
505 0 |a pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. 
588 0 |a Print version record. 
520 |a The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own. 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
546 |a English. 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 1 7 |a Symbolische logica.  |2 gtt 
650 1 7 |a Wiskundige logica.  |2 gtt 
650 7 |a MATHEMATICAL LOGIC.  |2 nasat 
650 7 |a Logic, Symbolic and mathematical.  |2 nli 
650 7 |a Logique symbolique et mathématique.  |2 ram 
653 0 |a Logic, Symbolic and mathematical 
655 7 |a Electronic books.  |2 local 
700 1 |a Barwise, Jon. 
700 1 |a Keisler, H. Jerome. 
710 2 |a ScienceDirect (Online service) 
758 |i has work:  |a Handbook of mathematical logic (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGCRk6DGVRyVyBfDMyYXkC  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |t Handbook of mathematical logic.  |d Amsterdam ; New York : North-Holland Pub. Co., 1977  |z 072042285X  |z 9780720422856  |w (DLC) 76026032  |w (OCoLC)2347202 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 90. 
856 4 0 |u http://proxy.library.tamu.edu/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/90  |z Connect to the full text of this electronic book  |t 0 
955 |a Elsevier ScienceDirect 2026-2027 
994 |a 92  |b TXA 
999 f f |i 73d467f8-ae98-4870-9019-ecdc41753c1d  |s 55cc9b42-24aa-4785-b281-3cc43bc3b94b  |t 0 
952 f f |a Texas A&M University  |b College Station  |c Electronic Resources  |s www_evans  |d Available Online  |t 0  |e QA9 .H32 1977eb  |h Library of Congress classification 
998 f f |a QA9 .H32 1977eb  |t 0  |l Available Online