1 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic |
2 - L'analyse logique des langues naturelles (1968-1978) : anthologie préparée sous la direction de Frédéric Nef |
3 - Mathematical structures of language |