Non-deterministic logic of informal provability has no finite characterization
| Title | Non-deterministic logic of informal provability has no finite characterization |
| Publication Type | Journal Article |
| Authors | Pawlowski, P |
| Title | Non-deterministic logic of informal provability has no finite characterization |
| Publication Type | Journal Article |
| Authors | Pawlowski, P |