The Journal of Symbolic Logic, Volumes 7-8

Front Cover
Alonzo Church, Cooper Harold Langford
Association for Symbolic Logic., 1942 - Electronic journals
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

Contents

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
A correction to the sentential calculus of Tarskis Introduction to logic
34

10 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information