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 mathem...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1976.
|
| Series: | Graduate texts in mathematics ;
37. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (548 pages) |
| ISBN: | 9781468494525 (electronic bk.) 146849452X (electronic bk.) |
| ISSN: | 0072-5285 ; |