Model Theory and the Philosophy of Mathematical Practice Formalization without Foundationalism Baldwin John T. Innbundet / 2018 / Engelsk
Model Theory and the Philosophy of Mathematical Practice Formalization without Foundationalism Baldwin John T. Heftet / 2020 / Engelsk
Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985 Baldwin John T. Heftet / 1988 / Engelsk