The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.

### Volume 3, Number 1

#### Publication Date: 1962

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 3, issue 1 (1962)

Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917--1957.

Guido Küng; 1-40

The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

Eric Foxley; 41-50

A contribution to the axiomatization of Lewis' system ${\rm S}5$.

Bolesław Sobociński; 51-60

Notes on foundations. II. On Galois connections.

G. Y. Rainich; 61-63

The rule of excision in positive implication.

Ivo Thomas; 64

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 3, issue 1 (1962)