aller au contenu
Formally self-referential propositions for cut free classical analysis and related system Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Formally self-referential propositions for cut free classical analysis and related system

Auteur : G Kreisel; G Takeuti
Éditeur : Warzawa Państwowe Wydawnistwo Naukowe 1974
Collection : Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Édition/format :   Livre : AnglaisVoir toutes les éditions et les formats
Base de données :WorldCat
Évaluation :

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

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format : Livre
Tous les auteurs / collaborateurs : G Kreisel; G Takeuti
Numéro OCLC : 246216180
Description : 55 S
Titre de collection : Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Responsabilité : G. Kreisel; G. Takeuti

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

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.