User Tools

Site Tools




  • 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.


Logical results

Programming languages

Theorem provers

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