← Back Logic Machines and Diagrams (2nd ed.)
Logic Machines and Diagrams (2nd ed.)

Logic Machines and Diagrams (2nd ed.)

Download PDF Download PDF_OCR
AuthorsGardner, Martin, 1914-
TagsLogic machines, Logic diagrams
PublisherUniversity of Chicago Press
Published15 mar 1982
Date01 mar 2022
Languageseng
Identifiersgoogle: g3hhxgEACAAJ, lcn: BC138.G3 1982, isbn: 0226282449, lcc: 82-11157, uri: https://www.archive.org/details/logicmachinesdia00gard, oclc: 1150221821

Description

Traces the development of logic machines from diagrams of logical statements to modern computers and discusses the fundamentals of mathematical logic

cited in Handbook of Satisfiability, "Chapter 1: A History of Satisfiability", p. 10 (PDF p. 30) & passim

ch. 1 on the Ars Magna of Raymond Lull