TY - GEN
AU - Barwise, Jon
AU - Keisler, H. Jerome
TI - Handbook of mathematical logic
PB - North-Holland Pub. Co
SN - 9780080933641
SN - 0080933645
KW - Logique symbolique et mathématique
KW - Logic, Symbolic and mathematical
KW - MATHEMATICS ; Logic
KW - MATHEMATICS ; Infinity
KW - Symbolische logica
KW - Wiskundige logica
KW - Electronic books
PY - 2010
N2 - Includes bibliographical references and index. - Print version record
N2 - Print version record
N2 - 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
N2 - pt. A. Model theorypt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
N2 - 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
BT - Studies in logic and the foundations of mathematics ; v. 90
CY - Amsterdam
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation