Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study...Daugiau...
Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study...Daugiau...
(Išleidimo metai: 13-Feb-2003, Hardback, Leidėjas: Cambridge University Press, ISBN-13: 9780521753746)
This two-volume set bridges the gap between introductory texts and the research literature. Volume II, on formal (ZFC) set theory, incorporates a self-contained chapter 0 on proof techniques so that it is based on formal logic, in the style...Daugiau...
(Išleidimo metai: 09-Jan-2003, Hardback, Leidėjas: Cambridge University Press, ISBN-13: 9780521753739)
This two-volume set bridges the gap between introductory texts and the research literature. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text...Daugiau...
