aller au contenu
Natural deduction : a proof-theoretical study
FermerAperçu de cet ouvrage

Natural deduction : a proof-theoretical study

Auteur : Dag Prawitz
Éditeur : Mineola, NY : Dover publications, cop. 2006.
Édition/format :   Livre : AnglaisVoir toutes les éditions et les formats
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

 

Trouver un exemplaire dans la bibliothèque

Récupération en cours... Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Personne nommée : Gerhard Gentzen
Format : Livre
Tous les auteurs / collaborateurs : Dag Prawitz
ISBN : 0486446557 9780486446554
Numéro OCLC : 491659799
Description : 1 vol. (VIII-113 p.) ; 22 cm.
Responsabilité : Dag Prawitz,....

Critiques

Critiques fournies par les utilisateurs
Récupération des critiques de weRead...
Récupération des critiques de GoodReads...
Récupération des critiques d’Amazon...

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.