Institution-independent Model Theory
Institution-independent Model Theory
- Basel Birkhäuser Basel 2008.
Mathematics and Statistics (Springer-11649)
9783764387082, 978-3-7643-8708-2
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23
Mathematics and Statistics (Springer-11649)
9783764387082, 978-3-7643-8708-2
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23