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$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Khoa Học & Tự Nhiên
ĐÃ PHÁT HÀNH
2011
6 tháng 6
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
285
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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