Logique Methematique. Cours et exercices : I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. II. Fonctions recursives, théorème de Gödel, théorie des ensembles, théorie des modèles
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Otros |
| Publicado: |
Paris
Masson
1994
|
| Edición: | 2 tirage corr |
| Colección: | Axiomes
|
| Materias: | |
| Ver en Catálogo Colectivo de las Bibliotecas Agustinianas de España: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362212 |
