Bibliografía (5 obras)
From Computational Logic to Computational Biology
2024
An Introduction to the Technique of Formative Processes in Set Theory
2018
Computational Logic and Set Theory
2005
Set theory for computing
2001
Computable set theory
1989
