Diaconescu, Răzvan.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. - Basel : Birkhäuser Basel, 2008. - digital. - Studies in Universal Logic . - Studies in Universal Logic .
9783764387082
10.1007/978-3-7643-8708-2 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
QA8.9-10.3
511.3
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. - Basel : Birkhäuser Basel, 2008. - digital. - Studies in Universal Logic . - Studies in Universal Logic .
9783764387082
10.1007/978-3-7643-8708-2 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
QA8.9-10.3
511.3