Institution-independent Model Theory by Razvan Diaconescu.

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially...

Full description

Saved in:

Bibliographic Details
Main Author:	Diaconescu, Razvan (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2008.
Edition:	1st ed. 2008.
Series:	Studies in Universal Logic, Springer eBook Collection.
Subjects:	Mathematical logic. Logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

Institution-independent Model Theory by Razvan Diaconescu.

‌

Online

Similar Items