A Course in Mathematical Logic - Graduate Texts in Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer New York

9781475743876, 9781475743852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The continuum problem and constructible sets

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_4 ◽

1977 ◽

pp. 149-174

Author(s):

Yu. I. Manin

Keyword(s):

Constructible Sets ◽

The Continuum

Download Full-text

Recursive groups

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_8 ◽

1977 ◽

pp. 261-283

Author(s):

Yu. I. Manin

Download Full-text

Truth and deducibility

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_2 ◽

1977 ◽

pp. 20-102

Author(s):

Yu. I. Manin

Download Full-text

The continuum problem and forcing

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_3 ◽

1977 ◽

pp. 103-148

Author(s):

Yu. I. Manin

Keyword(s):

The Continuum

Download Full-text

Introduction to formal languages

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_1 ◽

1977 ◽

pp. 3-19

Author(s):

Yu. I. Manin

Keyword(s):

Formal Languages

Download Full-text

Recursive functions and Church’s thesis

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_5 ◽

1977 ◽

pp. 177-205

Author(s):

Yu. I. Manin

Keyword(s):

Church’S Thesis ◽

Recursive Functions ◽

Church's Thesis

Download Full-text

Diophantine sets and algorithmic undecidability

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_6 ◽

1977 ◽

pp. 206-230

Author(s):

Yu. I. Manin

Download Full-text

Gödel’s incompleteness theorem

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_7 ◽

1977 ◽

pp. 233-260

Author(s):

Yu. I. Manin

Keyword(s):

Incompleteness Theorem

Download Full-text

A Course in Mathematical Logic - Graduate Texts in MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer New York

The continuum problem and constructible sets

Recursive groups

Truth and deducibility

The continuum problem and forcing

Introduction to formal languages

Recursive functions and Church’s thesis

Diophantine sets and algorithmic undecidability

Gödel’s incompleteness theorem

A Course in Mathematical Logic - Graduate Texts in Mathematics
Latest Publications