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 15 Issue 1

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 15 - Issue 1 - March 1950

Reviews

Roman Suszko. W sprawie logiki bez aksjomatów (Concerning logic without axioms). Kwartalnik filozoficzny, vol. 17 (1948), pp. 199–205.

A. A. Markov. O prédstavlènii rékursivnyh funkcij (On the representation of recursive functions). Izvéstiá Akadémii Nauk SSSR, Sériá matématičeskaá, vol. 13 (1949), pp. 417–424.

Alfons Borgers. Het natuurlijke getal (The natural number). Simon Stevin (Groningen-Batavia-Ghent), vol. 26 (1948–1949), pp. 32–73.

Ernst Specker. Nicht konstruktiv beweisbare Sätze der Analysis. The journal of symbolic logic, Bd. 14 (1949), S. 145–158.

Leon Henkin. The completeness of the first-order functional calculus. The journal of symbolic logic, Bd. 14 (1949), 159–166.

Julia Robinson. Definability and decision problems in arithmetic. The journal of symbolic logic, Bd. 14 (1949), pp. 98–114.

Nathan P. Levin. Computational logic. The journal of symbolic logic, Bd. 14 (1949), pp. 167–172.

Z. P. Dienes. On an implication function in many-valued systems of logic. The journal of symbolic logic, Bd. 14 (1949), pp. 95–97.

Sören Halldén. Results concerning the decision problem of Lewis's calculi S3 and S6. The journal of symbolic logic, Bd. 14 (1949), pp. 230–236.

Sören Halldén. An analogy in modal logic to the Lesniewski-Mihailescu theorem. Norsk matematisk tidsskrift, vol. 31 (1949), pp. 4–9.

Hao Wang. On Zermelo's and von Neumann's axioms for set theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 35 (1949), pp. 150–155.

R. L. Goodstein. Proof by reductio ad absurdum. The mathematical gazette, vol. 32 (1948), pp. 198–204.

Karl Egil Aubert. Relations généralisées et indépendence logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 229 (1949), pp. 284–286.

Robert Feys. A simple notation for relations. Methodos (Milan), vol. 1 no. 1 (1949), pp. 79–93.

Virgil G. HinshawJr. Epistemological relativism and the sociology of knowledge. Philosophy of science, vol. 15 (1948), pp. 4–10.

Herman Meyer. Kennis en realiteit (Knowledge and reality). Philosophische Bibliotheek, ed. by J. Clay. Uitgeversmaatschappij W. De Haan, Utrecht1949, 307 pp.

Guido Calogero. Lezioni di filosofia. Volume primo. Logica, gnoseologia, ontologia. Giulio Einaudi, Turin1948, IX + 278 pp. - Guido Calogero. Lezioni di filosofia. Volume terzo. Estetica, semanlica, istorica. Giulio Einaudi, Turin1947, IX + 392 pp.

Arne Næss. Interpretation and preciseness. II. Mimeographed. Oslo1948, 57 pp. - Arne Næss. Interpretation and preciseness. III. “To define” and to make precise. IV. Misinterpretation and pseudoagreement. Mimeographed. Universitetets Studentkontor, Oslo1948, 39 + 21 pp.

W. H. Werkmeister. The basis and structure of knowledge. Harper and Brothers, New York1948, xi + 451 pp.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 15 - Issue 1 - March 1950

Reviews