Publication:3752374

zbMath0612.03020MaRDI QIDQ3752374

Robert A. Di Paola

Publication date: 1985

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03D75: Abstract and axiomatic computability and recursion theory

18A15: Foundations, relations to logic and deductive systems

Related Items

Precomplete Equivalence Relations in Dominical Categories