لیست کتاب های کلمه کلیدی: #Model-theory

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

Published on: 1977

Beginner Unordered English

Topoi Logic Categories Model-theory Mathematics

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

Published on: 2018

Beginner Logic and Foundations English

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, …

Model-theory Philosophy Formalization Mathematics Foundationalism

Page 1 of 1