Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 36 Issue 3

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 36 - Issue 3 - September 1971

Reviews

O. B. Lupanov. Implementing the algebra of logic functions in terms of bounded depth formulas in the basis of &, ν, ¯. English translation of XXXVI 572. Soviet physics, Doklady, vol. 6 no. 2 (1961), pp. 107–108.

O. B. Lupanov. On the realization of functions of logical algebra by formulae of finite classes (formulae of limited depth) in the basis &, ν, ¯. English translation of XXXVI 571(14) by G. R. Kiss. Problems of cybernetics, vol. 6(1965), pp. 1–14.

O. B. Lupanov. Complexity of formula realization of functions of logical algebra. English translation of XXXVI 571(12) by G. R. Kiss. Problems of cybernetics, vol. 3 (1962), pp. 782–811.

E. I. Nechiporuk. On the synthesis of logical nets in incomplete and degenerate basis. English translation of XXXVI 570(5). Soviet physics, Doklady, vol 9 no. 3 (1964), pp. 207–208.

Karl S. Menger. Characterization and cardinality of universal functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 720–721.

A. D. Zakrevskii. A visual-matrix method for minimizing Boolean functions. English translation of XXXVI 572. Automation and remote control, vol. 21 (1960), pp. 255–258.

Vladeta Vučković. On some possibilities in the foundations of recursive arithmetics of words. English with Serbo-Croatian summary. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 17 (1962), pp. 145–157.

Vladeta Vučković. Rekurzivna aritmetika reči i konačni automati (Recursive arithmetic of words and finite automata). Serbo-Croatian with English summary. Filozofija (Belgrade), vol. 6 no. 4 (1962), pp. 41–66.

Vladeta Vučković. On a class of regular sets. Notre Dame journal of formal logic, vol. 5 no. 2 (1964). pp. 113–124.

Henry W. JohnstoneJr., Systèmes formels et systèmes ontologiques. Logique et analyse, n.s. vol. 1 (1958), pp. 24–28.

Henry W. JohnstoneJr., The law of non-contradition. Logique et analyse, n.s. vol. 3 (1960), pp. 3–10.

Jason Xenakis. Truth-functional perturbations. Logique et analyse., n. s. vol. 12 (1969), pp. 275–276.

George Kimball Plochmann and Jack B. Lawson. Terms in their propositional contexts in Wittgenstein's Tractatus. An index. Southern Illinois University Press, Carbondale, Illinois, 1962, xiv + 229 pp.

Maria Kokoszyńska. Deduction as a method of proof. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 271–278.

Related Citations

Other

Meeting of the Association for Symbolic Logic Santiago, Chile 1970

Announcements of the journal Nous

Notice of a directory of historians of mathematics

Notice of a meeting of the Association for Symbolic Logic

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 36 - Issue 3 - September 1971

Reviews

Other