Prädikatenlogik mit partiell definierten Funktionen (Q5617622)
From MaRDI portal
scientific article; zbMATH DE number 3341118
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prädikatenlogik mit partiell definierten Funktionen |
scientific article; zbMATH DE number 3341118 |
Statements
Prädikatenlogik mit partiell definierten Funktionen (English)
0 references
1971
0 references
