Book review of: Răzvan Diaconescu, Institution-independent model theory

DOI10.1007/s11225-013-9521-4zbMath1290.00007OpenAlexW39010587MaRDI QIDQ2016074

Andrzej Tarlecki

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9521-4

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) External book reviews (00A17) Abstract model theory (03C95)

Cites Work

• Situations, language and logic
• Trope sheaves. A topological ontology of tropes
• Modeling Brain Function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item