Logic, Foundations of Mathematics, and Computability Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789401011402, 9789401011389

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algorithmic Logic, a Tool for Investigations of Programs

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_15 ◽

1977 ◽

pp. 281-295 ◽

Cited By ~ 8

Author(s):

A. Salwicki

Keyword(s):

Algorithmic Logic

Download Full-text

Some Eastern Two Cardinal Theorems

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_2 ◽

1977 ◽

pp. 11-31 ◽

Cited By ~ 2

Author(s):

Jon Barwise

Download Full-text

What is the Iterative Conception of Set?

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_18 ◽

1977 ◽

pp. 335-367 ◽

Cited By ~ 17

Author(s):

Charles Parsons

Keyword(s):

Iterative Conception ◽

Iterative Conception Of Set

Download Full-text

Categorical Foundations and Foundations of Category Theory

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_9 ◽

1977 ◽

pp. 149-169 ◽

Cited By ~ 44

Author(s):

Solomon Feferman

Keyword(s):

Category Theory

Download Full-text

On a Semantical Language Hierarchy in a Constructive Mathematical Logic

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_16 ◽

1977 ◽

pp. 299-306

Author(s):

A. A. Markov

Keyword(s):

Mathematical Logic

Download Full-text

Constructions ‘by Finite’

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_1 ◽

1977 ◽

pp. 3-9 ◽

Cited By ~ 1

Author(s):

Yu. L. Ershov

Download Full-text

Axioms for Intuitionistic Mathematics Incompatible with Classical Logic

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_4 ◽

1977 ◽

pp. 59-84 ◽

Cited By ~ 3

Author(s):

A. S. Troelstra

Keyword(s):

Classical Logic ◽

Intuitionistic Mathematics

Download Full-text

Re Sets Higher up

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_10 ◽

1977 ◽

pp. 173-194 ◽

Cited By ~ 1

Author(s):

Gerald E. Sacks

Download Full-text

On the Basic Notions in the Theory of Induction

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_12 ◽

1977 ◽

pp. 207-236 ◽

Cited By ~ 9

Author(s):

Yiannis N. Moschovakis

Download Full-text

Some Purely Mathematical Results Inspired by Mathematical Logic

Logic, Foundations of Mathematics, and Computability Theory ◽

10.1007/978-94-010-1138-9_7 ◽

1977 ◽

pp. 121-127 ◽

Cited By ~ 12

Author(s):

Yu. V. Matijasevič

Keyword(s):

Mathematical Logic

Download Full-text

Logic, Foundations of Mathematics, and Computability TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Algorithmic Logic, a Tool for Investigations of Programs

Some Eastern Two Cardinal Theorems

What is the Iterative Conception of Set?

Categorical Foundations and Foundations of Category Theory

On a Semantical Language Hierarchy in a Constructive Mathematical Logic

Constructions ‘by Finite’

Axioms for Intuitionistic Mathematics Incompatible with Classical Logic

Re Sets Higher up

On the Basic Notions in the Theory of Induction

Some Purely Mathematical Results Inspired by Mathematical Logic

Logic, Foundations of Mathematics, and Computability Theory
Latest Publications