Mathematical Logic |
|
| Author:
| Monk, J. D. |
| Series title: | Graduate Texts in Mathematics |
| ISBN: | 978-0-387-90170-1 |
| Publication Date: | Jul 1976 |
| Publisher: | Springer
|
| Book Format: | Hardback |
| List Price: | AUD $127.95 |
Book Description:
|
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...
More Description
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.