Adequate set of connectives
Sample pages 2 PDF
The Pure Calculus of Entailment Author(s): Alan Ross Anderson and
A joint logic of problems and propositions, a modified BHK
Expressive Power of SQL
Hilbert`s Program Then and Now - Philsci
hilbert systems - CSA
Heyting-valued interpretations for Constructive Set Theory
Ethical Intuitionism: The Meaning of Meaning Senior
equivalents of the compactness theorem for locally finite sets of
CSE 321, Discrete Structures
CS 486: Applied Logic 8 Compactness (Lindenbaum`s Theorem)
Godel`s Proof
Godel`s Incompleteness Theorem
Glivenko sequent classes in the light of structural proof theory
Full version - Villanova Computer Science
full text (.pdf)
Document
Notes and exercises on First Order Logic
notes
