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

Second-order Logic

Chapters

Syntax and Semantics
Metatheory of Second-order Logic
Second-order Logic and Set Theory

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