1 - Aspects of modern logic
Beth, Evert Willem (1908-1964)   /   De Jongh-Kearl, Susan (Trad.)   /   De Jongh, D. H. J. (Trad.)

Cote : [05 BET 70]

2 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic
Beth, Evert Willem (1908-1964)

Cote : [05 BET 62]