Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Elsevier

9780444106421

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concerning Progress In The Philosophy Of Mathematics

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 41-52 ◽

Author(s):

Abraham Robinson†

Keyword(s):

Philosophy Of Mathematics

Download Full-text

Processes: A Mathematical Model of Computing Agents

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 157-173 ◽

Author(s):

Robin Milner

Keyword(s):

Mathematical Model

Download Full-text

Set Mappings, Partitions, and Chromatic Numbers

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 347-379 ◽

Author(s):

András Hajnal ◽

Attila Máté

Keyword(s):

Chromatic Numbers ◽

Download Full-text

Mathematics as a Domain of Theoretical Science and of Mental Experience

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 1-4 ◽

Author(s):

Paul Bernays

Keyword(s):

Mental Experience ◽

Theoretical Science

Download Full-text

An Intuitionistic Theory of Types: Predicative Part

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 73-118 ◽

Author(s):

Per Martin-Löf

Keyword(s):

Intuitionistic Theory

Download Full-text

Elimination of Higher type Levels in Definitions of Primitive Recursive Functionals by Means of Transfinite Recursion

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 279-303 ◽

Author(s):

Helmut Schwichtenberg

Keyword(s):

Transfinite Recursion ◽

Primitive Recursive ◽

Primitive Recursive Functionals

Download Full-text

Interpolation Theorem for Some Modal Logics

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 381-393 ◽

Author(s):

J. Czermak

Keyword(s):

Interpolation Theorem ◽

Download Full-text

Monadic Computation And Iterative Algebraic Theories

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 175-230 ◽

Author(s):

Calvin C. Elgot

Keyword(s):

Algebraic Theories

Download Full-text

A Hierarchy of Languages with Infinitely Long Expressions

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71944-x ◽

1975 ◽

pp. 55-71

Author(s):

Akiko Kino ◽

John Myhill

Download Full-text

Weak Elimination of Quantifiers and Cotheories

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71958-x ◽

1975 ◽

pp. 395-398 ◽

Author(s):

Paul Henrard

Download Full-text