The following pages link to (Q5579473):
Displaying 12 items.
- Mechanizing structural induction. I: Formal system (Q1134540) (← links)
- Sloman's view of Gödel's sentence (Q1855219) (← links)
- Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish (Q2560797) (← links)
- (Q3159146) (← links)
- (Q3598173) (← links)
- The Classical Model Existence Theorem in Subclassical Predicate Logics I (Q3600568) (← links)
- (Q3822138) (← links)
- (Q4510393) (← links)
- Logica (Q5405106) (← links)
- Mizar Course in Logic and Set Theory (Q5428270) (← links)
- Synthetic components of infinite classes of postulates (Q5661873) (← links)
- A course on mathematical logic (Q5891797) (← links)