zbMath0221.02030MaRDI QIDQ5625140
Antoni Kreczmar
Publication date: 1971
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03D55: Hierarchies of computability and definability
Related Items