FA Sign in

Discover references

Model-theory

Books

2 results

Cover of First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

English Beginner

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Michael Makkai,Gonzalo E. Reyes

1977 View book

Cover of Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

English Beginner

Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

John T. Baldwin

2018 View book