Aspects of Mathematical Logic Aspects of Mathematical Logic

Aspects of Mathematical Logic

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

    • ‏34٫99 US$
    • ‏34٫99 US$

وصف الناشر

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.

النوع
علم وطبيعة
تاريخ النشر
٢٠١١
٦ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٢٨٥
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٨٫٣
‫م.ب.‬
Model Theory in Algebra, Analysis and Arithmetic Model Theory in Algebra, Analysis and Arithmetic
٢٠١٤
Proof and Computation Proof and Computation
٢٠١٨
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
٢٠٢١
Gentzen's Centenary Gentzen's Centenary
٢٠١٥
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
٢٠٠٠
The Structure of the Real Line The Structure of the Real Line
٢٠١١