Faculty Member, Philosophy, Linguistics and Theory of Science
About
Working in mathematical logic. Mainly models of first-order arithmetic.
Faculty Member, Philosophy, Linguistics and Theory of Science
About
Working in mathematical logic. Mainly models of first-order arithmetic.