Non-deterministic logic of informal provability has no finite characterization
scientific article; zbMATH DE number 7465848
scientific article