S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp

by Dougherty, Daniel J.
Published in The Journal of symbolic logic

S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp

by Dougherty, Daniel J.
Published in The Journal of symbolic logic

The Foundations of Computing Machinery. Part II

by Blachman, Nelson M.
Published in The Journal of Symbolic Logic

Logic, discovery, and the foundations of computing machinery

by Maron, M. E.
Published in Transactions of the I.R.E. Professional Group on Electronic Computers

Review: John D. Goodell, The Foundations of Computing Machinery. Part II

by Blachman, Nelson M
Published in The Journal of symbolic logic

John D. Goodell. The foundations of computing machinery. Part II. The journal of computing systems (St. Paul), vol. 1 no. 2 (1953), pp. 86–110

by Blachman, Nelson M.
Published in The Journal of symbolic logic

From logic to logic programming Kees Doets : Foundations of Computing Series, The MIT Press, ISBN 0-262-04142-1, xii+214 pages, Price: $43.95 / £29.95

Published in Journal of Computational and Applied Mathematics

Review: John D. Goodell, Decision Elements; John D. Goodell, The Foundations of Computing Machinery; Tenny Lode, The Realization of a Universal Decision Element

by Blachman, Nelson M, Boone, William W
Published in The Journal of symbolic logic

John D. Goodell. Decision elements. Radio-electronic engineering (New York), 071952, pp. 3–5. (Periodical published both separately and as a section of Radio & television news , Radio-electronic engineering edition, vol. 48 no. 1, July 1952.) - John D. Goodell. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 (1952), pp. 1–13. - Tenny Lode. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 (1952), pp. 14–22

by Blachman, Nelson M., Boone, William W.
Published in The Journal of symbolic logic

On the Experimental Foundation of Computing

by Angius, Nicola
Published in Axiomathes : quaderni del Centro studi per la filosofia mitteleuropea

Editorial – Preface to the Special Issue on Numerical Techniques Meet with OR

by Gürbüz, Burcu, Weber, Gerhard-Wilhelm
Published in Foundations of computing and decision sciences

Preface to the Special Issue on Computational Performance Analysis based on Novel Intelligent Methods: Exploration and Future Directions in Production and Logistics

by Goli, Alireza, Tirkolaee, Erfan Babaee, Weber, Gerhard-Wilhelm
Published in Foundations of computing and decision sciences

An Introduction to the Special Issue on Numerical Techniques Meet with OR - Part II

by Gürbüz, Burcu, Weber, Gerhard-Wilhelm
Published in Foundations of computing and decision sciences

An Introduction to the Special Issue “Recent advances on supply chain network design”

by Lotfi, Reza, Weber, Gerhard-Wilhelm
Published in Foundations of computing and decision sciences

Towards a Historical Notion of 'Turing-the Father of Computer Science'

by Daylight, Edgar G.
Published in History and philosophy of logic

Performance Measurement of the Sustainable Supply Chain During the COVID-19 Pandemic: A real-life case study

by Abbasi, Sina, Khalili, Hossein Amoozad, Daneshmand-Mehr, Maryam, Hajiaghaei-Keshteli, Mostafa
Published in Foundations of computing and decision sciences

Designing a Tri-Objective, Sustainable, Closed-Loop, and Multi-Echelon Supply Chain During the COVID-19 and Lockdowns

by Abbasi, Sina, Daneshmand-Mehr, Maryam, Kanafi, Armin Ghane
Published in Foundations of computing and decision sciences

Special Section on the Fifty-First Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010)

by Lau, Lap Chi, Malkin, Tal, O'Donnell, Ryan, Trevisan, Luca
Published in SIAM journal on computing

Special Section on the Fiftieth Annual IEEE Symposium on Foundations of Computer Science (FOCS 2009)

by Balcan, Maria Florina, Braverman, Mark, Spielman, Daniel A.
Published in SIAM journal on computing

New Results on Single-Machine Scheduling with Rejection to Minimize the Total Weighted Completion Time

by Zhang, Liqi, Yu, Xue, Lu, Lingfa
Published in Foundations of computing and decision sciences