<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-06-16 09:06:25Logical consequence Logical syntax Metalogic Ordinal number Limit set Complementation of Büchi automaton Logic Deduction Entailment |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-06-16 09:06:25Logical consequence Logical syntax Metalogic Ordinal number Limit set Complementation of Büchi automaton Logic Deduction Entailment |
Add to Reading List |
ACRS_main-revised-april2014.dvi