Elements of Mathematical Logic
by G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes
Writing a summary for young readers…
For young readers
Book data: Open Library
by G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes
Book data: Open Library