Institution-Independent Model Theory
Institution-Independent Model Theory
₹9661
(Incl. of all taxes)
Qty
Buying in bulk?
In stock Only 3 left
Deliver to
  • 7-day returns
  • Secure payment
  • International shipping
  • Carefully packed
Get this at ₹ 9178Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 8695Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory . The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.
ISBN-13
9783764387075
Language
English
Binding
Paper Back
Publisher
Birkhauser Basel
Publishing Date
2008-08-01
Product Edition
1
Total Pages
387

Institution-Independent Model Theory

by Razvan Diaconescu (Author),
Birkhauser Basel (Publisher)
fictionfantasyyoung adultaward winning

Frequently bought together

Total for 3 items₹9787₹9801You save ₹14
Product Specifications
Book Summary
This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory . The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.
Book Specifications
ISBN-13
9783764387075
Language
English
Binding
Paper Back
Publisher
Birkhauser Basel
Publishing Date
2008-08-01
Product Edition
1
Total Pages
387