A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems (Q3800000)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems |
scientific article |
Statements
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems (English)
0 references
1989
0 references
first order language
0 references
rule systems
0 references
partial Peano algebras
0 references
recursion theorems
0 references
