Gently used. Expect delivery in 2-3 weeks. Codice inventario libreria
Riassunto: A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.
Titolo: Provability, Computability and Reflection, ...
Casa editrice: Elsevier Science
Data di pubblicazione: 1979
Condizione libro: very good
Descrizione libro Amsterdam, North-Holland Publishing Company, 1979. Hardcover. . 486p. (Studies in Logic and the Foundations of Mathematics; vol. 98) Stamped date on front endpaper; otherwise very good condition (no dust jacket). Codice libro della libreria 39972
Descrizione libro Elsevier Science Ltd, 1979. Condizione libro: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Codice libro della libreria 5391453
Descrizione libro Amsterdam, North-Holland Publishing Company 1979., 1979. 8°. XV, 486 p. OPbd. (Studies in logic and the foundations of mathematics, Vol. 98). Fine copy. OPbd. (Studies in logic and the foundations of mathematics, Vol. 98). Codice libro della libreria 85721AB
Descrizione libro Elsevier Science, 1979. Condizione libro: Good. Ships from Reno, NV. Shows some signs of wear, and may have some markings on the inside. Codice libro della libreria GRP96244376