Mathematics programme

Open Logic languages
English programme — C80
Program Bahasa Indonesia — C80
Authoritative original — Open Logic complete PDF

Skip to main content

The Open Logic Text — accessible offline edition

First-order Logic

Chapters

Introduction to First-Order Logic
Syntax of First-Order Logic
Semantics of First-Order Logic
Theories and Their Models
Derivation Systems
The Sequent Calculus
Natural Deduction
Tableaux
Axiomatic Derivation
The Completeness Theorem
Beyond First-order Logic

Accessibility adaptation of The Open Logic Text by The Open Logic Project, source commit 9620cc73f9c8e0ad003c514a5d3748f29611c4c0, under CC BY 4.0.

Attribution, license, and change notice · Changes and reader corrections