Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate (Q1342557)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate |
scientific article; zbMATH DE number 710807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate |
scientific article; zbMATH DE number 710807 |
Statements
Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate (English)
0 references
20 February 1995
0 references
finite algorithms
0 references
