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

    • US$34.99
    • US$34.99

출판사 설명

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.

장르
과학 및 자연
출시일
2011년
6월 6일
언어
EN
영어
길이
285
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
8.3
MB
Model Theory in Algebra, Analysis and Arithmetic Model Theory in Algebra, Analysis and Arithmetic
2014년
Proof and Computation Proof and Computation
2018년
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
2021년
Gentzen's Centenary Gentzen's Centenary
2015년
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
2000년
The Structure of the Real Line The Structure of the Real Line
2011년