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.

Contents

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

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information