Join our mailing list
Get exclusive deals and learn about new products!
Reliable shipping
Flexible returns
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.
Published by: Springer
Publication Date: 2012-07-15
Format: Paperback
ISBN-13: 9781468494549
DOI: 10.1007/978-1-4684-9452-5
Dimensions: 235cm x155cm
Pages: 532