|
" Handbook of mathematical logic. tics; ed. by barwise, jon. "
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
973951
|
| Doc. No
|
:
|
b728321
|
| Main Entry
|
:
|
BARWISE, JON.
|
| Title & Author
|
:
|
Handbook of mathematical logic. tics; ed. by barwise, jon.
|
| Publication Statement
|
:
|
NORTH HOLLAND,, 1999.
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
0080933645
|
|
|
:
|
: 9780080933641
|
| Contents
|
:
|
Pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Symbolische logica.
|
| Subject
|
:
|
Wiskundige logica.
|
| Dewey Classification
|
:
|
511/.3
|
| LC Classification
|
:
|
QA9.H32 1977
|
| NLM classification
|
:
|
31.10bcl
|
| |