Kripke-Semantik der derivativen Prädikatelogik (Q5622157)
From MaRDI portal
scientific article; zbMATH DE number 3346314
Language | Label | Description | Also known as |
---|---|---|---|
English | Kripke-Semantik der derivativen Prädikatelogik |
scientific article; zbMATH DE number 3346314 |
Statements
Kripke-Semantik der derivativen Prädikatelogik (English)
0 references
1970
0 references