1 “...Proceedings of the U.S.-Japan seminar, Tokyo, 1982...”

2

3

4

5 “... of certain algorithms allows us to obtain a straightforward proof of theoretical results (we mention...”

6 “...This allows us, for each statement, to specify if it is proved only from ZF axioms of choice...”

7 “... this activity taking us?", "What are the outstanding fundamental problems?", "What are the next important steps...”

8 “... the mathematical model, also computed along with the solution, on the other hand, will tell us how much computation...”

9 “... often underestimated but, let us re-iterate, which is very important) is the major topic of this book....”

10

11