Aller au contenu principal
Ma bibliothèque
Votre panier est vide.
Panier
Listes
Mes listes
Connectez-vous pour créer vos listes personnelles
Connexion à votre compte
Historique de recherche
Effacer
Catalogue
Titre
Auteur
Sujet
ISBN
ISSN
Collection
Cote
Recherche avancée
Recherche d'autorités
Nuage de tags
Site
Connexion à votre compte
×
Identifiant :
Mot de passe :
Accueil
Résultats de recherche pour 'ccl=su:Logique symbolique et mathématique.'
Affiner votre recherche
Disponibilité
Limiter aux exemplaires actuellement disponibles
Auteurs
Cori, René
Dieudonné, Jean
Guénard, François
Krivine, Jean-Louis
Lascar, Daniel
Lelièvre, Gilbert
Loi, Maurice
Russell, Bertrand
Thom, René
Vernant, Denis
Whitehead, Alfred No...
Afficher plus
Afficher moins
Collection
Champs Université
Points
Sciences sup
Sujets
Boole, Algèbre de
Calcul des prédicats
Calcul propositionne...
Epistémologie des ma...
Logique symbolique e...
Logique symbolique e...
Logique symbolique e...
Mathématiques - Phil...
Proposition (logique...
Prédicat (logique)
Relation (philosophi...
Afficher plus
Afficher moins
Votre recherche a retourné 4 résultats.
Trier
Trier par :
Pertinence
Popularité (plus à moins)
Popularité (moins à plus)
Auteur (A-Z)
Auteur (Z-A)
Cote (0-9 à A-Z)
Cote (Z-A à 9-0)
Date de publication : décroissante
Date de publication : Croissante
Date d'acquisition: décroissante
Date d'acquisition: croissante
Titre (A-Z)
Titre (Z-A)
Ne plus surligner
Surligner
Tout sélectionner
Tout désélectionner
Documents sélectionnés :
Ajouter à...
Panier
[ Nouvelle liste ]
Réserver
Résultats
1.
Penser les mathématiques
/ Séminaire de philosophie et mathématiques de l'École normale supérieure ; [sous la direction de] J. Dieudonné, M. Loi, R. Thom ; textes préparés et annotés par François Guénard et Gilbert Lelièvre.
Publication :
Paris :
Éditions du Seuil
, 1982.
Description :
273 p. ; 18 cm.
Disponibilité :
Exemplaires empruntables:
Cote :
02.1 PEN 82
(1).
Réserver
Ajouter au panier
(Supprimer)
2.
Principia mathematica to*56
/ by Alfred North Whitehead,... and Bertrand Russell,... : to*56
Publication :
Cambridge :
at the University press
, 1973
Description :
410p. ; 20 cm.
Disponibilité :
Pas d'exemplaire disponible
:
Réserver
Ajouter au panier
(Supprimer)
3.
Introduction à la logique standard
: calcul des propositions, des prédicats & des relations / Denis Vernant.
Publication :
Paris :
Flammarion
, impr. 2001.
Description :
1 vol. (447 p.) ; 18 cm.
Disponibilité :
Exemplaires empruntables:
Cote :
02.1 VER 06
(1).
Réserver
Ajouter au panier
(Supprimer)
4.
Logique mathématique
, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,...Daniel Lascar,... ; Préface de Jean-Louis Krivine.
Publication :
Paris :
Dunod
, impr. 2007.
Description :
1 vol. (XV-385 p.) ; 24 cm.
Disponibilité :
Exemplaires empruntables:
Cote :
05 COR 03-1
(2).
Réserver
Ajouter au panier
(Supprimer)
Pages
Propulsé par
Koha