| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
Utilità

Risultati ricerca

 



Cori, René - Lascar, Daniel
Logique mathématique : cours et exercices corrigés / René Cori, Daniel Lascar ; préface de Jean-Louis Krivine. - Paris : Dunod, 2003. - 2 volumi ; 24 cm.

Comprende:
- 1: Calcul propositionnel, algèbre de Boole, calcul des prédicats / René Cori, Daniel Lascar
- 2: Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles / René Cori, Daniel Lascar
Altri autori: Krivine, Jean-Louis

Vedi il dettaglio dei record compresi

Tipo: 102 - Monografia moderna | Lingua: FRE | Paese: FR | Data di pubblicazione o produzione: 2003 | Gestione database: EC-PEC | Codice: PAV0152131 | MFN: 1801390

 

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 20-02-2019 08:08:58 - Schede in OPAC:  2052498
EasyWeb Five © 5.7.3 - 1994-2019 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0