Lanean...
Formal logic /
Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book's nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal log...
| Formatua: | Printed Book |
|---|---|
| Hizkuntza: | English |
| Argitaratua: |
Canada :
Broadview,
2017.
|
Antzeko izenburuak
-
Systems of formal logic /
nork: Hackstaff, L. H.
Argitaratua: (1966) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
nork: Beth, Evert W.
Argitaratua: (1962) -
Formal Languages and automata
nork: Linz, Peter
Argitaratua: (2006) -
Symbolic Logic and the Game of Logic
nork: Carroll, Lewis
Argitaratua: (1958) -
Introduction to formal languages and automata
nork: Linz, Peter
Argitaratua: (2003)