Historique de la logique des prédicats - LACL

Chapitre 3. Historique de la logique des prédicats. 3.1 Analyse des propositions ...... vant partiellement le livre de Hilbert et Bernays [H-B-34], ils utilisent le nom ...


Un extrait du document