Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 22

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 22 - March 1957

Reviews

Hao Wang. On formalization. Mind, n.s. vol. 64 (1955), pp. 226–238.

S. Körner. Individuals and properties. Mind, n.s. vol. 63 (1954), pp. 380–383.

Veli Valpola. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki1955, 247 pp.

V. A. Uspénskij. O vyčislimyh opéraciáh (On calculable operations). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 773–776.

Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.

A. A. Markov. Téoriá algorifmov (Theory of algorithms). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp.

Sören Halldén. Emotive propositions. A study of value. Almqvist & Wiksell, Stockholm1954, 232 pp.

Klaus Härtig. Explizite Definitionen einiger Eigenschaften von Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, Bd. 2 (1956), S. 177–203.

D. W. Hamlyn. Analytic truths. Mind, n.s. vol. 65 (1956), pp. 359–367.

J. Barkley Rosser. Logique combinatoire et λ-conversion. Deux esquisses de logique, Gauthier-Villars, Paris1953, pp. 3–31. - J. Barkley Rosser. Les modulès des logiques formelles. Deux esquisses de logique, Gauthier-Villars, Paris1953, pp. 33–65.

Vladimir Devidé. Ein Axiomensystem für die natürlichen Zahlen. Archiv der Mathetnatik, vol. 6 (1955), pp. 408–412.

N. A. Šanin. O nékotoryh logičéskih problémah arifmétiki (On some logical problems of arithmetic). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 43. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, pp. 112.

Bolesław Sobociński. On well constructed axiom systems, Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), vol. 6 (for 1955–6, pub. 1956), pp. 54–65.

Shôji Maehara. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 (1954), pp. 45–64.

Paul Bernays. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuchâtel1950, pp. 11–25.

Hao Wang. The categoricity question of certain grand logics. Mathematische Zeitschrift, vol, 59 no. 1 (1953), pp. 47–56.

Joseph T. Clark. Contemporary science and deductive methodology. Proceedings of the American Catholic Philosophical Association, vol. 26 (1952), pp. 3–40.

Paul Lorenzen. Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes. Studium generale, vol. 5 (1952), pp. 591–594.

Samuel Issmann. Problèmes de la définition. Methodos, vol. 4 (1952), pp. 91–117. - S. Ceccato, P. Facchi, G. Vaccarino. Discussione. Methodos, vol. 4 (1952), pp. 117–118.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 22 - March 1957

Reviews