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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer New York

9781441906144, 9781441906151

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diophantine Sets and Algorithmic Undecidability

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_6 ◽

2009 ◽

pp. 207-231

Author(s):

Yu. I. Manin

Download Full-text

The Continuum Problem and Constructible Sets

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_4 ◽

2009 ◽

pp. 151-175

Author(s):

Yu. I. Manin

Keyword(s):

Constructible Sets ◽

The Continuum

Download Full-text

The Continuum Problem and Forcing

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_3 ◽

2009 ◽

pp. 105-150

Author(s):

Yu. I. Manin

Keyword(s):

The Continuum

Download Full-text

Gödel’s Incompleteness Theorem

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_7 ◽

2009 ◽

pp. 235-261

Author(s):

Yu. I. Manin

Keyword(s):

Incompleteness Theorem

Download Full-text

Model Theory

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_10 ◽

2009 ◽

pp. 331-377

Author(s):

Yu. I. Manin

Keyword(s):

Model Theory

Download Full-text

Recursive Groups

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_8 ◽

2009 ◽

pp. 263-284

Author(s):

Yu. I. Manin

Download Full-text

Truth and Deducibility

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_2 ◽

2009 ◽

pp. 19-103

Author(s):

Yu. I. Manin

Download Full-text

Introduction to Formal Languages

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_1 ◽

2009 ◽

pp. 3-18

Author(s):

Yu. I. Manin

Keyword(s):

Formal Languages

Download Full-text

Recursive Functions and Church’s Thesis

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_5 ◽

2009 ◽

pp. 179-206

Author(s):

Yu. I. Manin

Keyword(s):

Church’S Thesis ◽

Recursive Functions ◽

Church's Thesis

Download Full-text

Constructive Universe and Computation

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_9 ◽

2009 ◽

pp. 285-327

Author(s):

Yu. I. Manin

Keyword(s):

Constructive Universe

Download Full-text

A Course in Mathematical Logic for Mathematicians - Graduate Texts in MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer New York

Diophantine Sets and Algorithmic Undecidability

The Continuum Problem and Constructible Sets

The Continuum Problem and Forcing

Gödel’s Incompleteness Theorem

Model Theory

Recursive Groups

Truth and Deducibility

Introduction to Formal Languages

Recursive Functions and Church’s Thesis

Constructive Universe and Computation

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