First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

ISBN-10:
3540084398
ISBN-13:
9783540084396
Pub. Date:
10/05/1977
Publisher:
Springer Berlin Heidelberg
ISBN-10:
3540084398
ISBN-13:
9783540084396
Pub. Date:
10/05/1977
Publisher:
Springer Berlin Heidelberg
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

Paperback

$54.99
Current price is , Original price is $54.99. You
$54.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

Product Details

ISBN-13: 9783540084396
Publisher: Springer Berlin Heidelberg
Publication date: 10/05/1977
Series: Lecture Notes in Mathematics , #611
Edition description: 1977
Pages: 318
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to “first order categorical logic”.
From the B&N Reads Blog

Customer Reviews