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 28

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 28 - December 1963

Reviews

A. H. Basson and D. J. O'Connor. Introduction to symbolic logic. Third edition. The Free Press, Glencoe, III., 1960, viii + 175 pp.

W. W. Tait. Nested recursion. Mathematische Annalen, Bd. 143 (1961), S. 236–250.

Günter Asser. Funktionen-Algorithmen und Graphschemata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 20–27.

B. A. Trahténbrot. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov (Synthesis of logical nets whose operators are described by means of the calculus of one-place predicates). Doklady Akadémii Nauk SSSR, vol. 118 (1958), pp. 646–649.

A. A. Zinov'év. Filosofskié problémy mnogoznačnoj logiki (Philosophical problems of many-valued logic). Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, 139 pp.

Grigore C. Moisil. Dezvoltarea in R.P.R. a teorici algebrice a schemelor cu contacte şi relee (Development in the R.P.R. of the algebraic theory of contact and relay circuits). Automatica şi electronica, vol. 3 no. 4 (1959), pp. 152–160.

William W. Boone. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 616–623.

Alice Ambrose and Morris Lazerowitz. Logic: The theory of formal inference. Holt, Rinehart and Winston, New York1961, vi + 78 pp.

A. Š. Bloh. O kanoničéskom métodé sintéza kontaktnyh shém (About canonical method of synthesis of contact circuits). Russian with English summary. Avtomatika i téléméhanika, vol. 23 (1962), pp. 503–508.

Hugues Leblanc and Nuel D. BelnapJr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 (1962), pp. 79–82.

Toshio Nishimura. On a certain system with infinite induction. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 392–400.

J. W. Addison. Some consequences of the axiom of constructibility. Fundamenta mathematicae, vol. 46 (1959), pp. 337–357.

B. A. Trakhtenbrot. Algorithms and automatic computing machines. Translated and adapted from the second Russian edition (1960) by Jerome Kristian, James D. McCawley, and Samuel A. Schmitt. D. C. Heath and Company, Boston 1963, vi + 101 pp.

William S. Hatcher. La notion d′équivalence entre systèmes formels et une généralisation inductive du système dit “New foundations” de Quine. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 256 (1963), pp. 563–566.

Hugues Leblanc. Structural rules of inference. Notre Dame journal of formal logic, vol. 3 (1962), pp. 201–205.

Rolf Schock. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 (1962), pp. 77–80.

Naoto Yonemitsu. Systems of weak implication. Memoirs of the Osaka University of Liberal Arts and Education, B. Natural science, no. 9 (1960), pp. 137–158.

Gaisi Takeuti. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 238–242.

Raili Kauppi. Freedom and imperatives. Ajatus, vol. 24 (1962), pp. 67–73.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 28 - December 1963

Reviews