ISBN 3540087389 books & textbook

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (Universitext)

Hajek, P. Havranek, T.

Springer /1978-04-01 Paperback / 414 Pages
isbn-10: 3540087389 / isbn-13: 9783540087380