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 :     MATHEMATICS -- General     Mathematics -- Linear & Nonlinear Programming     Mathematics -- Philosophy     Berechenbarkeit     Beweistheorie     Computable functions     Logic and Set Theory     Logic, Symbolic and mathematical.     Logic     Mathematics.     Mathematik     Nichtklassische Logik     Nonclassical mathematical logic     Proof theory     Logique mathématique     Théorie de la démonstration     Logique informatique     Logique -- Philosophie     Parcourir le catalogue     par auteur:      Loveland , Donald W.      Hodel , Richard E.      Sterrett , S. G.       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Loveland , Donald W. Titre :  Three Views of Logic : Mathematics, Philosophy, and Computer Science , Donald W. Loveland ; Richard E. Hodel, S. G. Sterrett Editeur :  Princeton : Princeton University Press , 2014 ISBN:  978-1-400-84875-1 978-1-4008-4875-1 Notes :  9.9 Intuitive Descriptions of the Four-Valued Logic Semantics Description basée sur l'édition papier La pagination de l'édition imprimée correspondante est de 339 p. Nécessite un navigateur et un lecteur de fichier PDF URL:  (Accès réservé aux étudiants de l'ENSEA) http://univ.scholarvox.com.ez-proxy.ensea.fr/book/88838021 Sujet :  MATHEMATICS -- General Mathematics -- Linear & Nonlinear Programming Mathematics -- Philosophy Berechenbarkeit Beweistheorie Computable functions Logic and Set Theory Logic, Symbolic and mathematical. Logic Mathematics. Mathematik Nichtklassische Logik Nonclassical mathematical logic Proof theory Logique mathématique Théorie de la démonstration Logique informatique Logique -- Philosophie   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Ressources numériques ENSEA-SCHOLARV Consultation en ligne Disponible

Pour toute question, contactez la bibliothèque

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