Intensional Mathematics - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444876324

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Editors

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70134-4 ◽

1985 ◽

pp. ii

Download Full-text

Introduction-Intensional Mathematics and Constructive Mathematics

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70137-x ◽

1985 ◽

pp. 1-10 ◽

Cited By ~ 3

Author(s):

Stewart Shapiro

Keyword(s):

Constructive Mathematics

Download Full-text

Extending Gödel's Modal Interpretation to Type Theory and Set Theory

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70141-1 ◽

1985 ◽

pp. 81-119 ◽

Cited By ~ 5

Author(s):

Andrej Ščedrov

Keyword(s):

Set Theory ◽

Type Theory ◽

Modal Interpretation

Download Full-text

Some Principles Related to Löb's Theorem

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70145-9 ◽

1985 ◽

pp. 213-230

Author(s):

Raymond M. Smullyan

Download Full-text

Intensional Set Theory

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70139-3 ◽

1985 ◽

pp. 47-61 ◽

Cited By ~ 8

Author(s):

John Myhill

Keyword(s):

Set Theory

Download Full-text

Calculable Natural Numbers

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70143-5 ◽

1985 ◽

pp. 173-190 ◽

Cited By ~ 1

Author(s):

Vladimir Lifschitz

Keyword(s):

Natural Numbers

Download Full-text

Edited by

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70135-6 ◽

1985 ◽

pp. iii

Download Full-text

Church's Thesis is Consistent with Epistemic Arithmetic

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70142-3 ◽

1985 ◽

pp. 121-172 ◽

Cited By ~ 7

Author(s):

Robert C. Flagg

Keyword(s):

Church’S Thesis ◽

Church's Thesis ◽

Epistemic Arithmetic

Download Full-text

Copyright page

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70136-8 ◽

1985 ◽

pp. iv

Download Full-text

Modality and Self-Reference

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70144-7 ◽

1985 ◽

pp. 191-211

Author(s):

Raymond M. Smullyan

Keyword(s):

Self Reference

Download Full-text

Intensional Mathematics - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Editors

Introduction-Intensional Mathematics and Constructive Mathematics

Extending Gödel's Modal Interpretation to Type Theory and Set Theory

Some Principles Related to Löb's Theorem

Intensional Set Theory

Calculable Natural Numbers

Edited by

Church's Thesis is Consistent with Epistemic Arithmetic

Copyright page

Modality and Self-Reference

Intensional Mathematics - Studies in Logic and the Foundations of Mathematics
Latest Publications