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 25

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 25 - December 1960

Reviews

Hans Skjervheim. Reason in society and modern logic. Inquiry (Oslo), vol. 1 (1958), pp. 243–246. - Jens Erik Fenstad. Notes on the application of formal methods in the soft sciences. Inquiry (Oslo), vol. 2 (1959), pp. 34–64.

Abraham Robinson. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 (1957), pp. 309–329.

Karl Menger. What are x and y?. The mathematical gazette, vol. 40 (1956), pp. 246–255.

Kurt Gödel. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Deutsch, mit deutschem und englischem Résumé. Ebd., S. 76–83; auch ebd., S. 280–287.

Johan Galtung. Expectations and interaction processes. Inquiry (Oslo), vol. 2 (1959), pp. 213–234.

Karl Menger. New approach to teaching intermediate mathematics. Science, vol. 127 (1958), pp. 1320–1323.

Abraham Robinson. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 129 pp.

Dana Scott. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241.

C. W. Webb. The antinomy of individuals. The journal of philosophy, vol. 55 (1958), pp. 735–739.

Evert W. Beth and Hugues Leblanc. A note on the intuitionist and the classical prepositional calculus. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 174–176.

Abraham Robinson. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 (1956), pp. 47–58; also Indagationes mathematicae, vol. 18 (1956), pp. 47–58.

Albert Menne. Was ist und was kann Logistik?Ferdinand Schöningh, Paderborn1957, 15 p.

J. F. Thomson. Symposium: Reducibility. I. Aristotelian Society supplementary volume XXVI. London1952, pp. 87–104.

Hanfried Lenz. Zur Axiomatik der Zahlen. Acta mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 33–44.

Theodore Hailperin. A theory of restricted quantification. The journal of symbolic logic, vol. 22 (1957), pp. 19–35, 113–129.

Oskar Becker. Grundlagen der Mathematik in geschichtlicher Entwicklung. Orbis, Bd. II/6. Verlag Karl Alber, Freiburg und München1954, XI + 422 S.

G. J. Warnock. Symposium: Reducibility. II. Aristotelian Society supplementary volume XXVI. London1952, pp. 105–120.

E. W. Beth. Les fondements logiques des mathématiques. Deuxième édition revue et augmentée. Collection de logique mathématique, A I. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1955, XV + 241 pp.

Günter Asser and Karl Schröter. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 (1958), pp. 73–86.

Robert McNaughton. Some formal relative consistency proofs. The journal of symbolic logic, vol. 18 (1953), pp. 136–144.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 25 - December 1960

Reviews