HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444863881

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Guide to Part C: Recursion Theory

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 525-526

Author(s):

Y.N. Moschovakis

Keyword(s):

Recursion Theory ◽

Part C

Download Full-text

Decidable Theories

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 595-629 ◽

Cited By ~ 61

Author(s):

Michael O. Rabin

Keyword(s):

Decidable Theories

Download Full-text

Foreword

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71094-2 ◽

1977 ◽

pp. vii

Download Full-text

Axioms of Set Theory

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 321-344 ◽

Cited By ~ 32

Author(s):

J.R. Shoenfield

Keyword(s):

Set Theory

Download Full-text

Degrees of Unsolvability: A Survey of Results

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71117-0 ◽

1977 ◽

pp. 631-652 ◽

Cited By ~ 17

Author(s):

Stephen G. Simpson

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Ultraproducts for Algebraists

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 105-137 ◽

Cited By ~ 19

Author(s):

Paul C. Eklof

Download Full-text

Aspects of Constructive Mathematics

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 973-1052 ◽

Cited By ~ 28

Author(s):

A.S. Troelstra

Keyword(s):

Constructive Mathematics

Download Full-text

Subject Index

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 1151-1165

Download Full-text

Recursion in Higher Types*

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 681-737 ◽

Cited By ~ 26

Author(s):

Alexander S. Kechris ◽

Yiannis N. Moschovakis

Keyword(s):

Higher Types

Download Full-text

Proof Theory: Some Applications of Cut-Elimination

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics ◽

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

1977 ◽

pp. 867-895 ◽

Cited By ~ 65

Author(s):

Helmut Schwichtenberg

Keyword(s):

Proof Theory ◽

Cut Elimination

Download Full-text

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Guide to Part C: Recursion Theory

Decidable Theories

Foreword

Axioms of Set Theory

Degrees of Unsolvability: A Survey of Results

Ultraproducts for Algebraists

Aspects of Constructive Mathematics

Subject Index

Recursion in Higher Types*

Proof Theory: Some Applications of Cut-Elimination

HANDBOOK OF MATHEMATICAL LOGIC - Studies in Logic and the Foundations of Mathematics
Latest Publications