Logic, Meaning and Computation
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9789401038911, 9789401005265

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Lambda Calculus and Adjoint Functors

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_7 ◽

2001 ◽

pp. 181-184 ◽

Author(s):

Saunders Mac Lane

Keyword(s):

Lambda Calculus ◽

Adjoint Functors

Download Full-text

Church’s Set Theory with a Universal Set

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_4 ◽

2001 ◽

pp. 109-138 ◽

Author(s):

Thomas Forster

Keyword(s):

Download Full-text

Russellian Type Theory and Semantical Paradoxes

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_24 ◽

2001 ◽

pp. 491-505

Author(s):

Enrico Martino

Keyword(s):

Download Full-text

Tarski’s Theorem and NFU

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_22 ◽

2001 ◽

pp. 469-478 ◽

Author(s):

M. Randall Holmes

Download Full-text

Peace, Justice and Computation: Leibniz’ Program and the Moral and Political Significance of Church’s Theorem

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_21 ◽

2001 ◽

pp. 445-467

Author(s):

Michael Detlefsen

Download Full-text

A Construction of the Provable Wellorderings of the Theory of Species

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_16 ◽

2001 ◽

pp. 343-351 ◽

Author(s):

Per Martin-Löf

Download Full-text

Second-Order Logic

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_2 ◽

2001 ◽

pp. 61-75 ◽

Author(s):

John Corcoran

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Axioms of Infinity in Church’s Type Theory

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_5 ◽

2001 ◽

pp. 139-147

Author(s):

Robin O. Gandy

Keyword(s):

Download Full-text

Peano’s Lambda Calculus: The Functional Abstraction Implicit in Arithmetic

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_14 ◽

2001 ◽

pp. 313-329 ◽

Author(s):

Daniel Leivant

Keyword(s):

Lambda Calculus

Download Full-text

The Logic of Sense and Denotation: Extensions and Applications

Logic, Meaning and Computation ◽

10.1007/978-94-010-0526-5_25 ◽

2001 ◽

pp. 507-543 ◽

Author(s):

Terence Parsons

Download Full-text