|
by Serrano-Gotarredona, Teresa, Linares-Barranco, Bernabé, Andreou, Andreas G.
Published 1998
Subjects:
“...Mathematical Logic and Foundations...”Published 1998
Springer US