𝔖 Bobbio Scriptorium
✦   LIBER   ✦

B75-1 Logic and Logic Design

✍ Scribed by Su, S.Y.H.


Book ID
114588244
Publisher
IEEE
Year
1975
Tongue
English
Weight
241 KB
Volume
C-24
Category
Article
ISSN
0018-9340

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Logic design
✍ AndrΓ‘s JΓ‘vor πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science βš– 67 KB
Logic, logic, and logic
✍ George Boolos, John P. Burgess, Richard Jeffrey πŸ“‚ Library πŸ“… 1998 πŸ› Harvard University Press 🌐 English βš– 8 MB

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell;

Logic design strategies
✍ Hans Martin Lipp πŸ“‚ Article πŸ“… 1982 πŸ› Elsevier Science βš– 809 KB
Logic Design Techniques
✍ LEWIN, D. W. πŸ“‚ Article πŸ“… 1973 πŸ› Nature Publishing Group 🌐 English βš– 269 KB
Design in logic
✍ Zsuzsanna MΓ‘rkusz πŸ“‚ Article πŸ“… 1982 πŸ› Elsevier Science 🌐 English βš– 742 KB