Research Article
A propositional calculus with denumerable matrix
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-106
-
- Article
- Export citation
Modalities in Ackermann's “rigorous implication”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-111
-
- Article
- Export citation
Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-140
-
- Article
- Export citation
On logics intermediate between intuitionistic and classical predicate logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-153
-
- Article
- Export citation
On Ackermann's set theory1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-166
-
- Article
- Export citation
Reviews
Reviews - Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. VIII–IX. - Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 3–35. - Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 39–74. - Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 77–87. - Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 89–91. - Index. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 93–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-169
-
- Article
- Export citation
A. Fröhlich and J. C. Shepherdson. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 (1955), pp. 331–334. - A. Fröhlich and J. C. Shepherdson. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 (1955–1956), pp. 407–432.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical representation of recursively enumerable sets. The journal of symbolic logic, vol. 21 (1956), pp. 162–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
-
- Article
- Export citation
Richard Friedberg. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 852–854.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
G. Hasenjaeger. On definability and derivability. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 15–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
Azriel Levy. A note on definitions of finiteness. The bulletin of the Research Council of Israel, Section F, Mathematics and physics, vol. 7F no. 2 (1958), pp 83–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Leon Henkin. A generalization of the concept of ω-completeness. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
Jean Porte. La méthode formelle en mathématique. La méthode dans les sciences modernes, Éditions Science et Industrie, Paris1958, pp. 59–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
László Kalmár. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára (A direct proof of the unsolvability of the decision problem by means of a general recursive algorithm). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 6 (1956), pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation
László Kalmár. A matematika alapjaival kapcsolatos újabb eredmények (Recent results concerning the foundations of mathematics). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 2 (1952), pp. 89–103. - Alfréd Rényi, György Alexits, János Aczél. Hozzászólások Kalmár László előadásához (Remarks concerning the lecture of László Kalmár). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 104–108. - László Kalmár. Kalmár László válasza (László Kalmár's reply). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 108–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 95–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der zweiwertigen Aussagenlogik. Ebd., S. 29–32; auch ebd., S. 109–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
-
- Article
- Export citation
J. Ridder. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 (1950), S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 (1951), S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 (1950), S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 (1951), S. 94–105, 169–177, 226–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
-
- Article
- Export citation
Alan Rose. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 196–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- Article
- Export citation
Alan Ross Anderson and Omar Khayyam Moore. The formal analysis of normative concepts. American sociological review, vol. 22 (1957), pp. 9–17. - Alan Ross Anderson. A reduction of deontic logic to alethic modal logic. Mind, n.s. vol. 67 (1958), pp. 100–103. - Alan Ross Anderson. The logic of norms. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 84–91.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation