Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Logique mathématique     Computable functions     Logic, Symbolic and mathematical.     Gödel's theorem     Parcourir le catalogue     par auteur:      Epstein , Richard L. , 1947-....      Carnielli , Walter Alexandre , 1952-....       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Epstein , Richard L. , 1947-.... Carnielli , Walter Alexandre , 1952-.... Titre :  Computability : computable functions, logic, and the foundations of mathematics, 2nd éd. , Richard L. Epstein, Walter A. Carnielli : the story of the development of computable functions and the undecidability of arithmetic to 1970 , Richard L. Epstein Editeur :  Belmont (Calif.) , Wadsworth -- cop. 2000 Description :  1 vol. (299-38 p.) ; 24 cm + 1 affiche ISBN:  0-534-54644-7 , papier neutre Notes :  Bibliogr. p.273-280 et 29-38. Index Sujet :  Logique mathématique Computable functions Logic, Symbolic and mathematical. Gödel's theorem   Exemplaires Site Emplacement Cote Type de prêt Statut   Site de Saint-Martin Réserve 511.3 EPS Prêt Disponible Réserver

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.