7 results
Jørgen Jørgensen. Den logiske empirismes udvikling (The development of logical empiricism). Ejnar Munksgaard, Copenhagen1948, 97 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
- Print publication:
- September 1949
-
- Article
- Export citation
Einar Hoff-Hansen. En matematisk tolkning av den klassiske utsagnsregning (A mathematical interpretation of the classical prepositional calculus). Norsk matematisk tidsskrift, vol. 25 (1943), pp. 6–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- December 1948
-
- Article
- Export citation
Th. Skolem. Den rekursive aritmetikk (Recursive arithmetic). Norsk matematisk tidsskrift, vol. 28 (1946), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
- Print publication:
- December 1948
-
- Article
- Export citation
TH. Skolem. Noen bemerkninger til foranstaende arlikkel av E. Hoff-Hansen (Some remarks on the preceding article of E. Hoff-Hansen). Norsk matematisk tidsskrift, vol. 25 (1943), pp. 13–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- December 1948
-
- Article
- Export citation
Erik Götlind. Ett axiomsystem för ulsagokalkylen (An axiom system for the prepositional calculus). Norsk matematisk tidsskrift, vol. 29 (1947), pp. 1–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 52
- Print publication:
- March 1948
-
- Article
- Export citation
Erik Götlind. Om nágra ekvivalenssatser i tvavärdelogiken (On some equivalence propositions in two-valued logic). Norsk matematisk tidsskrift, vol. 28 (1946), pp. 71–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1948
-
- Article
- Export citation
R. Feys. Les méthodes récentes de déduction naturelle. Revue philosophique de Louvain, vol. 44 (1946), pp. 370–400.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 3 / September 1947
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- September 1947
-
- Article
- Export citation