LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780720422610

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Kreisel's Work on the Philosophy of Mathematics-I. Realism

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 411-438 ◽

Cited By ~ 3

Author(s):

J.M.B. Moss

Keyword(s):

Philosophy Of Mathematics

A Simplified Proof for the Unsolvability of the Decision Problem in the Case ⋁⋀⋁

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 307-310 ◽

Cited By ~ 1

Author(s):

H. Hermes

Keyword(s):

Decision Problem

Computability Over the Continuum

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 77-105 ◽

Cited By ~ 1

Author(s):

Peter G. Hinman ◽

Yiannis N. Moschovakis

Keyword(s):

The Continuum

Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 361-389 ◽

Cited By ~ 28

Author(s):

Harvey Friedman

Keyword(s):

Recursion Theory

A Countable Hierarchy for the Superjump

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 257-271 ◽

Cited By ~ 3

Author(s):

Richard A. Platek

On Semisets

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 67-76 ◽

Cited By ~ 1

Author(s):

Petr Hájek

Standard and Non-Standard Methods in Uniform Topology

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 353-359 ◽

Cited By ~ 2

Author(s):

J.E. Fenstad ◽

A.M. Nyberg

Keyword(s):

Uniform Topology ◽

Standard Methods

Axiomatic Recursive Function Theory

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 113-137 ◽

Cited By ~ 20

Author(s):

Harvey M. Friedman

Keyword(s):

Recursive Function ◽

Function Theory

Advisory Editorial Board

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. ii

Edited by

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. iii

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Kreisel's Work on the Philosophy of Mathematics-I. Realism

A Simplified Proof for the Unsolvability of the Decision Problem in the Case ⋁⋀⋁

Computability Over the Continuum

Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory

A Countable Hierarchy for the Superjump

On Semisets

Standard and Non-Standard Methods in Uniform Topology

Axiomatic Recursive Function Theory

Advisory Editorial Board

Edited by

LOGIC COLLOQUIUM '69 - Studies in Logic and the Foundations of Mathematics
Latest Publications