The Journal of Symbolic Logic

Front Cover
Association for Symbolic Logic, 1952 - 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.


On direct products of theories By Andrzej Mostowski
An extension of computational logic By Alan Rose
On the interpretation of nonfinitist proofsPart II By G Kreisel

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information