Monographie
La logique pas à pas [Texte imprimé] / Jacques Duparc
Type de contenu
- Texte
Type de médiation
- sans médiation
Titre(s)
- La logique pas à pas [Texte imprimé] / Jacques Duparc
Auteur(s)
Editeur, producteur
- Lausanne : Presses polytechniques et universitaires romandes, cop. 2015
- (impr. en Espagne)
Description matérielle
- 1 vol. (570 p.) : ill. en coul. ; 24 cm
ISBN
- 978-2-88915-126-4
EAN
- 9782889151264
Classification décimale Dewey
- 511.3 23
Note(s)
- Bibliogr. p. 553-559. Index
- Diff. en France
- La couv. porte en plus : spécialement conçu pour les buses en maths et les manchots de la logique
Résumé ou extrait
- Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme.
Sujet - Nom commun
Forme, genre ou caractéristiques physiques
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)