Elements of mathematical logic (1967)

by G Kreisel, J L Krivine