ロード中...
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...
フォーマット: | Printed Book |
---|---|
言語: | English |
出版事項: |
Canada :
Broadview,
2017.
|
類似資料
-
Systems of formal logic /
著者:: Hackstaff, L. H.
出版事項: (1966) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
著者:: Beth, Evert W.
出版事項: (1962) -
Formal Languages and automata
著者:: Linz, Peter
出版事項: (2006) -
Symbolic Logic and the Game of Logic
著者:: Carroll, Lewis
出版事項: (1958) -
Introduction to formal languages and automata
著者:: Linz, Peter
出版事項: (2003)