Sommaire du Fascicule no. 1-2

A note concerning the axiom of choice.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF


Project Euclid
An extension algebra and the modal system ${\rm T}$.

Lemmon, E. J.

Text on Project Euclid
PDF
Alt PDF
p. 3-12

Project Euclid
Investigations on a comprehension axiom without negation in the defining propositional functions.

Skolem, Thoralf

Text on Project Euclid
PDF
Alt PDF
p. 13-22

Project Euclid
Studies in the axiomatic foundations of Boolean algebra. I.

Lejewski, Czesław

Text on Project Euclid
PDF
Alt PDF
p. 23-47

Project Euclid
Independence of Faris-rejection-axioms.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 48-51

Project Euclid
On the single axioms of the protothetic. I.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 52-73

Project Euclid
Independence of Tarski's law in Henkin's propositional fragments.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 74-78

Project Euclid
A paradox regained.

Kaplan, D. ; Montague, R.

Text on Project Euclid
PDF
Alt PDF
p. 79-90

Project Euclid
Studies in the axiomatic foundations of Boolean algebra. II.

Lejewski, Czesław

Text on Project Euclid
PDF
Alt PDF
p. 91-106

Project Euclid
Functional completeness of Henkin's propositional fragments.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 107-110

Project Euclid
A double-iteration property of Boolean functions.

Lyngholm, Carl ; Yourgrau, Wolfgang

Text on Project Euclid
PDF
Alt PDF
p. 111-114

Project Euclid
A simple formula equivalent to the axiom of choice.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 115-117

Project Euclid
The number of moduli in $n$-ary relations.

Clay, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 118-121

Project Euclid
A formal system.

Rainick, G. Y.

Text on Project Euclid
PDF
Alt PDF
p. 123-126

Project Euclid
On recursive transcendence.

Goodstein, R. L. ; Hooley, J.

Text on Project Euclid
PDF
Alt PDF
p. 127-137

Project Euclid
The formalizing of the topics in mediaeval logic.

Bird, Otto

Text on Project Euclid
PDF
Alt PDF
p. 138-149

Project Euclid
Die Theorie der Umgangssprache als interpretierter Kompositkalkül.

Székely, D. L.

Text on Project Euclid
PDF
Alt PDF
p. 150-170

Project Euclid
On a recent allotment of probabilities to open and closed sentences.

Leblanc, Hugues

Text on Project Euclid
PDF
Alt PDF
p. 171-175

Project Euclid