Institution-independent Model Theory, Paperback / softback Book

Institution-independent Model Theory Paperback / softback

Part of the Studies in Universal Logic series

Description

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.

Information

  • Format: Paperback / softback
  • Pages: 376 pages, XI, 376 p.
  • Publisher: Birkhauser Verlag AG
  • Publication Date:
  • Category: Mathematical logic
  • ISBN: 9783764387075

Other Formats

£79.99

£65.65

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops