Mathematical Logic
J. Donald Monk
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.
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.
种类:
年:
1976
出版:
Hardcover
出版社:
Springer
语言:
english
页:
532
ISBN 10:
0387901701
ISBN 13:
9780387901701
系列:
Graduate texts in mathematics
文件:
PDF, 38.96 MB
IPFS:
,
english, 1976