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.
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.
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: Fair. N/A. Ships from Reno, NV. Shows definite wear, and perhaps considerable marking on inside. Codice libro della libreria GRP93319562