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

A. N. Prior. Modality and quantification in S5. The journal of symbolic logic, vol. 21 (1956), pp. 60–62.

A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900.

V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.

A. Białynicki-Birula and H. Rasiowa. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 259–261.

Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344.

Kurt Bing. On simplifying truth-functional formulas. The journal of symbolic logic, vol. 21 (1956), pp. 253–254.

G. H. von Wright. A note on deontic logic and derived obligation. Mind, n.s. vol. 65 (1956), pp. 507–509.

J. Myhill and J. C. Shepherdson. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 (1955), pp. 310–317.

Gideon Schwarz. A note on transfinite iteration. The journal of symbolic logic, vol. 21 (1956), pp. 265–266.

W. Mays. The first circuit for an electrical logic-machine. Science, vol. 118 (1953), pp. 281–282.

David Meredith. A correction to von Wright's decision procedure for the deontic system P. Mind, n.s. vol. 65 (1956), pp. 548–550.

A. C. Lloyd. The logical form of law statements. Mind, n.s. vol. 64 (1955), pp 312–318.

Robert McNaughton. Logical and combinatorial problems in computer design. Computers and automation (Newtonville, Mass.), vol. 6 no. 1 (1957), pp. 30–31.

John Myhill. Arithmetic with creative definitions by induction. The journal of symbolic logic, vol. 18 (1953), pp. 115–118.

William W. Boone. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 (1957), pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 (1957), pp. 22–27, 227–232.

Ilmar Tammelo. Sketch for a symbolic juristic logic. Journal of legal education, vol. 8 (1956), pp. 277–306. See Errata, ibid., vol. 9 (1956), p. 148. - Romane L. Clark. On Mr. Tammelo's conception of juristic logic. Mind, vol. 8 (1956), pp. 491–496.

Other

Related Citations

Reviews

G. Kreisel. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 (1953–1954), pp. 107–129. See Errata and corrigenda, ibid., p 357.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 22 - March 1957

Reviews

Other

Reviews