The Kleene symposium
Series: Studies in logic and the foundations of mathematics 101 Published by : North-Holland Publishing Company (Amsterdam ) Physical details: XX-425 p. 23 cm. ISBN:0444853456.
Subject(s):
Kleene (Stephen Cole)
--
Logique mathématique
|
Logique mathématique
--
Kleene (Stephen Cole)
Year: 1980
Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
BOOK | Bibliothèque Centrale | 517.11 KLE.S (Browse shelf) | 1 | Available | 5010000075217 | |
BOOK | Bibliothèque Centrale | 517.11 KLE.S (Browse shelf) | 2 | Available | 5010000075200 |
Browsing Bibliothèque Centrale shelves Close shelf browser
No cover image available | ||||||||
517.11 COR.V.2 Logique mathématique fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie et modèles | 517.11 FUC. Logique | 517.11 KLE.S The Kleene symposium | 517.11 KLE.S The Kleene symposium | 517.11.BOU Cinq conférences sur l'indécibilité organisées en 1982 à l'école nationale des ponts et chaussées dans le cadre du programme scinces, techniques et société | 517.11.FED.Ex.1 Analyse | 517.2 AVE. Calcul différentiel |
There are no comments on this title.