Language:
English
繁體中文
Help
圖資館首頁
Login
Jump To :
Overview
Titles
Subjects
First-order logic.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
Henkin-Keisler models
by:
(Electronic resources)
Decidability of logical theories and their combination
by:
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Model theory.
Ultraproducts.
Philosophy of Mathematics.
First-order logic.
Processing
...
Change password
Login