34 results
Günter Asser. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-40
- Print publication:
- March 1958
-
- Article
- Export citation
Günter Asser. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
- Print publication:
- March 1958
-
- Article
- Export citation
Günter Asser. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 39
- Print publication:
- March 1958
-
- Article
- Export citation
A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 (1953), S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 (1956), S. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 360
- Print publication:
- December 1957
-
- Article
- Export citation
Kurt Schütte. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, (1956) S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 375–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
- Print publication:
- September 1957
-
- Article
- Export citation
W. V. Quine. Reduction to a dyadic predicate. The journal of symbolic logic, Bd. 19 (1954), S. 180–182. - Alan Cobham. Reduction to a symmetric predicate. Ebd., Bd. 21 (1956), S. 56–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
- Print publication:
- September 1957
-
- Article
- Export citation
Hartley Rogers Jr. Certain logical reduction and decision problems. Annals of mathematics, Bd. 64 (1956), S. 264–284.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
- Print publication:
- June 1957
-
- Article
- Export citation
A. Janiczak. Undecidability of some simple formalized theories. Nach dem Tode des Verf., von A. Mostowski und A. Grzegorczyk herausgegeben. Fundamenta mathematicae, Bd. 40 (1953), S. 131–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- June 1957
-
- Article
- Export citation
Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications I. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 113–125. - Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications II. Commentarii mathematici Universitatis Sancti Pauli, Bd. 1 Heft 2 (1953), S. 51–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
- Print publication:
- December 1956
-
- Article
- Export citation
Yoemon Sampei. Some remarks concerning identity. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 109–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- December 1956
-
- Article
- Export citation
Toshio Umezawa. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal. Bd. 9 (1955), S. 181–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
- Print publication:
- September 1956
-
- Article
- Export citation
Begründung einer strengen Implikation
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-128
- Print publication:
- June 1956
-
- Article
- Export citation
Robert Stanley. An extended procedure in quantificational logic. The journal of symbolic logic, Bd. 18 (1953), S. 97–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- June 1956
-
- Article
- Export citation
Jerzy Słupecḱi. Über die Regeln des Aussagenkalküls. Deutsch, mit Auszügen in Polnisch und Russisch. Ebd., S. 19–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1956
-
- Article
- Export citation
Juliusz Reichbach. Über den auf Alternative und Negation aufgebauten Aussagenkalkül. Deutsch, mit Auszügen in Polnisch und Russisch. Studia logica (Warschau), Bd. 1 (1953), S. 13–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
- Print publication:
- March 1956
-
- Article
- Export citation
Kurt Schütte. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift, Bd. 61 (1954), S. 160–179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- September 1955
-
- Article
- Export citation
Julia Robinson. Existential definability in arithmetic. Transactions of the American Mathematical Society, Bd. 72 (1952), S. 437–449.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- June 1955
-
- Article
- Export citation
Haskell B. Curry. The elimination theorem when modality is present. The journal of symbolic logic, Bd. 17 (1952), S. 249–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1955
-
- Article
- Export citation
Arnold Schmidt. Zum Verhältnis von Existenz und Widerspruchsfreiheit. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, S. 205–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- June 1954
-
- Article
- Export citation
S. Issmann. Une méthode de décision pour certaines formules du calcul des prédicats. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, und Éditions E. Nauwelaerts, Louvain 1953, S. 35–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- June 1954
-
- Article
- Export citation