Format:
Online Ressource (xi, 1165 pages)
Edition:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
9780080933641
,
0080933645
Series Statement:
Studies in logic and the foundations of mathematics v. 90
Content:
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
Note:
Includes bibliographical references and index. - Print version record
,
Print version record
,
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
,
pt. A. Model theorypt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
,
Online-Ausg. [S.l.] : HathiTrust Digital Library
,
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.
Additional Edition:
ISBN 072042285X
Additional Edition:
ISBN 0444863885
Additional Edition:
Erscheint auch als Druck-Ausgabe Handbook of mathematical logic Amsterdam ; New York : North-Holland Pub. Co, 1977
Language:
English
Keywords:
Electronic books
;
Electronic books
Author information:
Barwise, Jon 1942-2000
Bookmarklink