The Journal of Symbolic Logic, Volumes 12-14

Front Cover
Association for Symbolic Logic, 1947 - Logic, Symbolic and mathematical
Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church (with additions and corrections in v. 3, no. 4).

From inside the book

Contents

Recursive unsolvability of a problem of Thue By EMIL L POST
12
Ninth meeting of the Association for Symbolic Logic By CHARLES
22
Abstracts of papers
31

21 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information