# Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul

> Fiche œuvre du catalogue https://superlivre.fr/livre/logique-et-fondements-de-linformatique-cb356019077 (données du dépôt légal BnF).

- **Auteurs** : [Richard Lassaigne](https://superlivre.fr/auteur/richard-lassaigne-cb123492831), [Michel de Rougemont](https://superlivre.fr/auteur/michel-de-rougemont-cb12349285q) (1953–)
- **Première parution** : 1993
- **Langue** : français
- **Genres** : [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 1 (1993–1993)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1993 | [impr. Hermes](https://superlivre.fr/editeur/hermes) | Paris | 248 | 2-86601-380-8 |