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 |
Descripción Física: | 2 v. 24 cm |
---|---|
ISBN: | 23465025016 |