Capa do artigo Institution-Independent Model Theory
10% de desconto

Institution-Independent Model Theory eBook

de Razvan Diaconescu
idioma: inglês
Editor: Birkhauser Basel, agosto de 2008 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para 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

de Razvan Diaconescu

Propriedade Descrição
ISBN: 9783764387082
Editor: Birkhauser Basel
Data de Lançamento: agosto de 2008
Idioma: Inglês
Tipo de produto: eBook
Coleção: Studies In Universal Logic
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783764387082

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

RAZVAN DIACONESCU

VER MAIS TÍTULOS DESTE AUTOR