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.


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

12 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information