Handbook of mathematical logic / 
edited by Jon Barwise, with the cooperation of H.J. Keisler [and others]. 
 - Amsterdam ;  New York :  North-Holland Pub. Co.,  1977. 
 - 1 online resource (xi, 1165 pages). 
 - Studies in logic and the foundations of mathematics ;  v. 90 .
 - Studies in logic and the foundations of mathematics ;  v. 90. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/>pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. 
<br/><br/>Use copy 
<br/><br/> 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. 
<br/><br/><br/>Electronic reproduction. <br/>[S.l.] : <br/>HathiTrust Digital Library, <br/>2010. 
<br/><br/><br/>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. <br/>http://purl.oclc.org/DLF/benchrepro0212 
<br/><br/><label>ISBN: </label>9780080933641 0080933645 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Logique symbolique et mathématique.<br/>MATHEMATICS--Infinity.<br/>MATHEMATICS--Logic.<br/>Logic, Symbolic and mathematical.<br/>Symbolische logica.<br/>Wiskundige logica.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9  / .H32 1977eb