Computational Logic and Set Theory
3 authors - Hardback
£62.99
Dr. Eugenio G. Omodeo is a professor in the Department of Mathematics and Geosciences at the University of Trieste, Italy. His other publications include the Springer title Computational Logic and Set Theory.
Dr. Alberto Policriti is a Professor of Computer Science in the Department of Mathematics, Computer Science, and Physics at the University of Udine, Italy. Together with Dr. Eugenio G. Omodeo, he is co-author of the Springer title Set Theory for Computing.
Dr. Alexandru I. Tomescu is a postdoctoral researcher in the Department of Computer Science at the University of Helsinki, Finland.