MERLOT Materials

Show results for

Filter by

1-3 of 3 results for: calculus

This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and... see more

This book is an introduction to the metatheory of truth-functional logic, also known as the propositional calculus. This... see more

This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and... see more