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

Contributor(s):

Series: Studies in logic and the foundations of mathematics ; v. 90.1977Description: 1 online resource (xi, 1165 pages)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780080933641
0080933645

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Handbook of mathematical logic.LOC classification:

QA9 .H32 1977eb

Online resources:

Click here to access online

Contents:

pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.

Action note:

digitized 2010 HathiTrust Digital Library committed to preserve

Summary: 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.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 10 )

No physical items for this record

Includes bibliographical references and index.

pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.

Print version record.

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.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

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. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Elsevier ScienceDirect All Books

Back to results