This site contains software and instruction for symbolic logic. The content is relevant mainly to philosophy, mathematics, or computer science. Most of the material is at about a level suitable for entire courses for second year undergraduates, or for sections of graduate courses. [Indeed it has been used for instruction in the University of Otago, New Zealand, the University of Arizona, in the US, and elsewhere.] The software on this site should run quickly on any modern computers, tablets, and smartphone
Artificial Intelligence and Librarianship: Notes for Teaching (Third Edition) [This book is not symbolic logic.] (8/8/24)
These will run directly on suitable devices (e.g. iPads) without need for a web browser or an internet connection.