The Journal of Symbolic Logic, Volumes 7-8

Front Cover
Alonzo Church, Cooper Harold Langford
Association for Symbolic Logic., 1942 - Logic, Symbolic and mathematical
0 Reviews
Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The BuraliForti paradox By Barkley Rosser
1
New sets of postulates for combinatory logics By Barkley Rosser
18
A formal theorem in Churchs theory of types By M H A Newman
28

12 other sections not shown

Common terms and phrases

Bibliographic information