
Conte aos seus amigos sobre este item:
Institution-independent Model Theory - Studies in Universal Logic 2008 edition
Razvan Diaconescu
Institution-independent Model Theory - Studies in Universal Logic 2008 edition
Razvan Diaconescu
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.
376 pages, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 16 de maio de 2008 |
ISBN13 | 9783764387075 |
Editoras | Birkhauser Verlag AG |
Páginas | 376 |
Dimensões | 170 × 240 × 20 mm · 771 g |
Idioma | German |
Ver tudo de Razvan Diaconescu ( por exemplo Hardcover Book e Paperback Book )