Titolo: Provability, Computability and Reflection, ...
Casa editrice: Elsevier Science
Data di pubblicazione: 1979
Condizione libro: very good
Gently used. Expect delivery in 2-3 weeks. Codice inventario libreria 9780444852076-3
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.
Metodi di pagamento
La libreria accetta i seguenti metodi di pagamento:
Libreria AbeBooks dal: 13 giugno 2014
We guarantee the condition of every book as it is described on the Abebooks web sites. If
you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the
order has not arrived, you are eligible for a refund within 30 days of the estimated delivery
date. If you have changed your mind about a book that you have ordered, please use the Ask
bookseller a question link to contact us and we will respond within 2 business days.
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Descrizione libreria: Nearfine Books is a bookseller specialised in hard-to-find and out-of-print titles. We are based in London and New York.