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

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

19

(FIVE YEARS 0)

Published By Elsevier

9780444863881

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

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 ◽

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 ◽

Author(s):

Alexander S. Kechris ◽

Yiannis N. Moschovakis

Keyword(s):

Download Full-text

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 ◽

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 ◽

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 ◽

Author(s):

J.R. Shoenfield

Keyword(s):

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 ◽

Author(s):

Stephen G. Simpson

Keyword(s):

Degrees Of Unsolvability

Download Full-text

α-Recursion Theory

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

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

1977 ◽

pp. 653-680 ◽

Author(s):

Richard A. Shore

Keyword(s):

Recursion Theory

Download Full-text