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