Nantilus
Introduction à la logique
Introduction à une approche sémantique du calcul des énoncés, aux questions formelles, aux ressources des langages du premier ordre ou encore au calcul des prédicats. ©Electre 2021
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Livre |
| Langue : | français |
| Titre complet : | Introduction à la logique / Francois Rivenc; préface de Jacques Bouveresse |
| Publié : |
Paris :
Éditions Payot & Rivages
, C 2003 |
| Description matérielle : | 1 vol. (274 p.) |
| Collection : | Petite bibliothèque Payot (Paris) ; 14 |
| Sujets : |
| Résumé : | Introduction à une approche sémantique du calcul des énoncés, aux questions formelles, aux ressources des langages du premier ordre ou encore au calcul des prédicats. ©Electre 2021 |
|---|---|
| Historique des publications : | Autre tirage : 2020 |
| Note sur la collection : | Intitulé de la collection sur le tirage 2020 : "Petite biblio Payot : [essais]" |
| Bibliographie : | Bibliogr. p. 269-[272]. Index |
| ISBN : | 978-2-22-892530-3 2-228-89773-6 |