First Page | Document Content | |
---|---|---|
![]() Date: 2018-07-19 05:32:19Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus | Add to Reading List |
![]() | Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UKDocID: 1r5NZ - View Document |
![]() | History of Contemporary Logic from Boole to GodelDocID: QJQu - View Document |
![]() | History of Contemporary Logic from Boole to GodelDocID: PBtS - View Document |
![]() | History of Contemporary Logic from Boole to GodelDocID: PoJ2 - View Document |
![]() | History of Contemporary Logic from Boole to GodelDocID: Poja - View Document |