|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910783094303321 |
|
|
Titolo |
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
|
|
|
|
|
|
|
ISBN |
|
1-282-16918-1 |
9786612169182 |
0-08-093364-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1179 p.) |
|
|
|
|
|
|
Collana |
|
Studies in logic and the foundations of mathematics ; ; v. 90 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BarwiseJon |
KeislerH. Jerome |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|