<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-04-02 14:07:20Logic Function Skolem normal form Thoralf Skolem Axiom of choice Mathematics Mathematical logic Model theory |
Add to Reading List |
proc.dvi | 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 |