Aspects of Mathematical Logic المزيد من الكتب المشابهة
Model Theory in Algebra, Analysis and Arithmetic
٢٠١٤
Proof and Computation
٢٠١٨
PROOF AND COMPUTATION II
٢٠٢١
Gentzen's Centenary
٢٠١٥
Computable Structures and the Hyperarithmetical Hierarchy
٢٠٠٠
The Structure of the Real Line
٢٠١١
Nonstandard Analysis
٢٠٠٦
Foundations of Stochastic Analysis
٢٠١٣
Combinatorial Set Theory
٢٠١٧
A First Course in Mathematical Logic and Set Theory
٢٠١٥
Notes from the International Autumn School on Computational Number Theory
٢٠١٩
Elementary Induction on Abstract Structures
٢٠١٤
Combinatorial and Additive Number Theory
٢٠١٤
Recursion Theory and Computational Complexity
٢٠١١
The Equationally-Defined Commutator
٢٠١٥