Passages of proof (0)

by C S Calude, E Calude, S Marcus
Venue:Bull. Eur. Assoc. Theor. Comput. Sci. EATCS