Lecture Notes in Mathematics - Logic Colloquium
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540071556, 9783540374831

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abolition of the fregean axiom

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064874 ◽

1975 ◽

pp. 169-239 ◽

Author(s):

Roman Suszko

Download Full-text

Weak monadic second order theory of succesor is not elementary-recursive

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064872 ◽

1975 ◽

pp. 132-154 ◽

Author(s):

Albert R. Meyer

Keyword(s):

Order Theory ◽

Download Full-text

The variable

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064873 ◽

1975 ◽

pp. 155-168 ◽

Author(s):

W. V. Quine

Download Full-text

The use of abstract language in elementary metamathematics: Some pedagogic examples

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064871 ◽

1975 ◽

pp. 38-131 ◽

Author(s):

G. Kreisel ◽

G. E. Mints ◽

S. G. Simpson

Keyword(s):

Abstract Language

Download Full-text

Equality between functionals

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064870 ◽

1975 ◽

pp. 22-37 ◽

Author(s):

Harvey Friedman

Download Full-text

A realizability interpretation of the theory of species

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064875 ◽

1975 ◽

pp. 240-251 ◽

Author(s):

William W. Tait

Download Full-text

Combinatorial functors

Lecture Notes in Mathematics - Logic Colloquium ◽

10.1007/bfb0064869 ◽

1975 ◽

pp. 1-21

Author(s):

J. N. Crossley ◽

Anil Nerode

Download Full-text