Research Article
An extended procedure in quantificational logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
-
- Article
- Export citation
A logical measure function1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-308
-
- Article
- Export citation
Concatenation as basis for a complete system of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
-
- Article
- Export citation
The theory of quaternialty
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-196
-
- Article
- Export citation
New axiomatizations of S3 and S4
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-316
-
- Article
- Export citation
On propositions neither necessary nor impossible
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-108
-
- Article
- Export citation
Quantification theory and empty individual-domains
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-200
-
- Article
- Export citation
Criteria of constructibility for real numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-10
-
- Article
- Export citation
On truth and multiple denotation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-18
-
- Article
- Export citation
Banishing the rule of substitution for functional variables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-208
-
- Article
- Export citation
A simplification of basic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-325
-
- Article
- Export citation
Systems of modal logic which are not unreasonable in the sense of Halldén
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-113
-
- Article
- Export citation
Some notes on nominalism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-29
-
- Article
- Export citation
Systems of transfinite types involving λ-conversion
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-224
-
- Article
- Export citation
Reviews
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Research Article
Paradox of the class of all grounded classes
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Reviews
J. Barkley Rosser. Logic for mathematicians. McGraw-Hill Book New York–Toronto–London1953, xiv + 530 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
-
- Article
- Export citation
Research Article
A problem in recursive function theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-232
-
- Article
- Export citation
On axiomatizability within a system
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-32
-
- Article
- Export citation
Arithmetic with creative definitions by induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
-
- Article
- Export citation