Référence:Logique mathématique 1 (Cori-Lascar)
(Redirigé depuis Référence:Logique mathématique 1(Cori-Lascar))
Cette œuvre est référencée dans au moins un article de Wikipédia.
Vous pouvez consulter :
- le modèle de source associé :
{{Cori-Lascar I}}; - la liste complète des articles y faisant référence ;
- la liste des utilisateurs possédant l’ouvrage (voir aussi Wikipédia:Bibliothèque) ;
- une liste non exhaustive d’ouvrages utilisés comme référence dans les articles de Wikipédia.
Mode d’affichage :
Éditions
[modifier le code]Première édition
[modifier le code]- Titre : Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats
- Auteur : René Cori et Daniel Lascar
- Édition : première édition
- Éditeur : Masson
- Collection : Axiomes
- Publication : 1993
- ISBN : 2-225-84079-2
- René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Masson, coll. « Axiomes », 1993 (première édition) (ISBN 2-225-84079-2)
@Book{
Author = {René Cori et Daniel Lascar},
Title = {Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats},
Publisher = {Masson},
Year = {1993},
ISBN = {2-225-84079-2},
}
- Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats / René Cori et Daniel Lascar. – Masson, 1993. – (Axiomes.) – ISBN 2-225-84079-2
- René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Masson, Axiomes, 1993, ISBN 2-225-84079-2
Réédition Dunod
[modifier le code]- Titre : Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats
- Auteur : René Cori et Daniel Lascar
- Édition : réédition (avec corrections) de l'édition Masson 1993
- Éditeur : Dunod
- Lieu : Paris
- Publication : 2003
- Pages : 408
- ISBN : 978-2-10005452-7
- René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Dunod, Paris, 2003 (réédition (avec corrections) de l'édition Masson 1993), 408 p. (ISBN 978-2-10005452-7)
@Book{
Author = {René Cori et Daniel Lascar},
Title = {Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats},
Publisher = {Dunod},
Year = {2003},
ISBN = {978-2-10005452-7},
}
- Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats / René Cori et Daniel Lascar. – Paris : Dunod, 2003. – 408 p.. – – ISBN 978-2-10005452-7
- René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Paris, Dunod, 2003, 408 p., ISBN 978-2-10005452-7