Handbook of mathematical logic

Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].

Saved in:
Bibliographic Details
Superior document:Studies in logic and the foundations of mathematics ; v. 90
:
ProQuest (Firm)
TeilnehmendeR:
Barwise, Jon.
Keisler, H. Jerome.
ProQuest (Firm)
Year of Publication:1977
Language:English
Series:Studies in logic and the foundations of mathematics ; v. 90.
Online Access:
Physical Description:xi, 1165 p.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01670nam a2200421 a 4500
001 500428594
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 760716s1977 ne sb 001 0 eng d
010 |z  76026032  
020 |z 072042285X 
020 |z 0444863885 (PB) 
020 |z 9780444863881 
020 |z 9780080933641 
035 |a (MiAaPQ)500428594 
035 |a (Au-PeEL)EBL428594 
035 |a (CaPaEBR)ebr10305667 
035 |a (CaONFJC)MIL216918 
035 |a (OCoLC)437112416 
040 |a MiAaPQ  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA9  |b .H32 1977 
082 0 4 |a 511/.3 
245 0 0 |a Handbook of mathematical logic  |h [electronic resource] /  |c edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Pub. Co.,  |c 1977. 
300 |a xi, 1165 p. 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 90 
504 |a Includes bibliographical references and indexes. 
505 0 |a pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. 
533 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Logic, Symbolic and mathematical. 
655 4 |a Electronic books. 
700 1 |a Barwise, Jon. 
700 1 |a Keisler, H. Jerome. 
710 2 |a ProQuest (Firm) 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 90. 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=428594  |z Click to View 

Similar Items