Capa do artigo Institution-Independent Model Theory
10% OFF

Institution-Independent Model Theory eBook

by Razvan Diaconescu
language: english
Publisher: Birkhauser Basel, August of 2008 ‧
118,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Institution-Independent Model Theory

by Razvan Diaconescu

Property Description
ISBN: 9783764387082
Publisher: Birkhauser Basel
Release Date: August of 2008
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Studies In Universal Logic
Categories: eBooks in English > Science > Mathematics
EAN: 9783764387082

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

RAZVAN DIACONESCU

SEE MORE TITLES BY THIS AUTHOR