# Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés

> Fiche œuvre du catalogue https://superlivre.fr/livre/introduction-a-la-logique-formelle-et-symbolique-cee409a37a36 (données du dépôt légal BnF).

- **Auteur** : [Jean Salem](https://superlivre.fr/auteur/jean-salem-cb11923456q) (1952–2018)
- **Première parution** : 1992
- **Langue** : français
- **Genres** : [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 1 (1992–1992)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1992 | [F. Nathan](https://superlivre.fr/editeur/nathan) | [Paris] | 141 | 2-09-190519-4 |