en:mathematics:logic:resources

- Logic in Action, Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars. This project was developed to provide a modern introduction to the field of logic with topics reflecting both its mathematical essentials and a broad view of its interdisciplinary role.
- Basic logic, Hong Kong University online logic course
- Symbolic Logic: A First Course, Fourth Edition; ISBN 0-07-803981-9 is available from various on-line vendors. This link is the on-line version of an earlier edition that is made available on the
*Philosophy 110 - Introduction to Logic*web site.

- What is Mathematics: Gödel's Theorem and Around (Edition 2015)

en/mathematics/logic/resources.txt · Last modified: 2018/08/01 14:06 (external edit)