Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Q4914523)
From MaRDI portal
scientific article; zbMATH DE number 6153712
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic Predicate Logic: Equipollence Results and Proof Theory |
scientific article; zbMATH DE number 6153712 |
Statements
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (English)
0 references
12 April 2013
0 references
