Elements of mathematical logic (model th
β
G Kreisel, J L Krivine
π
Library
π
1967
π
North-Holland Pub. Co.
π
English
β 2 MB