Catégories
Documents disponibles dans cette catégorie (2)
Affiner la recherche
texte imprimé
André Delessert, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 1988Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. Quelques relations avec la langue, la philosophie et les fondements des m[...]