Mathematical Logic
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data." There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
| Autor: | Monk, J.D. |
|---|---|
| ISBN: | 9780387901701 |
| Sprache: | Englisch |
| Seitenzahl: | 532 |
| Produktart: | Gebunden |
| Verlag: | Springer US |
| Veröffentlicht: | 07.09.1976 |
| Schlagworte: | Logic Mathematica Turing algorithms boundary element method computability theory construction decidability functions mathematical analysis |