ENG

Logic Machines and Diagrams (2nd ed.)

Book information

Publisher
University of Chicago Press
Year
1982
ISBN
0226282449
LCC
BC138.G3 1982
Google Books ID
g3hhxgEACAAJ
Language
eng
Format
PDF
Filesize
2 MB (1774601 bytes)
Volume
1.0
Pages
\184
Time added
2024-05-27 02:24:18

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,*](https://isidore.co/calibre/#panel=book_details&book_id=6907) "Chapter 1: A History of Satisfiability", p. 10 (PDF p. 30) & *passim*ch. 1 on the [*Ars Magna* of Raymond Lull](https://isidore.co/calibre/#panel=book_details&book_id=5929)

Similar books