Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Proof, logic and formalization
Quatrième de couverture
Citer
Envoyer par courriel
Exporter la notice
Exporter vers RefWorks
Exporter vers EndNoteWeb
Exporter vers EndNote
Exporter vers MARC
Exporter vers RDF
Exporter vers RIS
Ajouter à vos listes
Ajouter au panier
Retirer du panier
Réserver
Proof, logic and formalization
Enregistré dans:
Détails bibliographiques
Autres auteurs :
Detlefsen Michael
(Éditeur scientifique)
Format :
Livre
Langue :
anglais
Titre complet :
Proof, logic and formalization
Publié :
London, New York :
Routledge
,
1992
Description matérielle :
X-241 p.
Sujets :
Logique mathématique
Théorie de la démonstration
Exemplaires
Description
Table des matières
Quatrième de couverture
Affichage MARC
Chargement en cours
Documents similaires
Proof methods for modal and intuitionistic logics
Fitting Melvin Chris (1983)
Livre
Basic proof theory
Troelstra Anne Sjerp, et autres (2000)
Livre
Proofs and types
Girard Jean-Yves, et autres (1989)
Livre
Proof theory
Takeuchi Gaishi (1975)
Livre
Proof theory
Schütte Kurt (1977)
Livre
×
Chargement en cours...