<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-07-29 01:23:00Logical syntax Abstraction Metalogic Thought Axiom Propositional calculus Entailment Function Deduction theorem Logic Mathematics Mathematical logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-07-29 01:23:00Logical syntax Abstraction Metalogic Thought Axiom Propositional calculus Entailment Function Deduction theorem Logic Mathematics Mathematical logic |
|
Artificial Intelligence[removed]389 Elsevier 323 A theory of abstraction