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.
Book Information
ISBN 9780387901701
Author J.D. Monk
Format Hardback
Page Count 532
Imprint Springer-Verlag New York Inc.
Publisher Springer-Verlag New York Inc.
