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

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

Auteur : Georg Kreisel; Gaisi Takeuti
Éditeur : Warszawa : Państwowe Wydawn. Naukowe, 1974.
Collection : Dissertationes mathematicae = Rozprawy matematyczne, 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.

Sujets
Plus comme ceci

 

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 : Georg Kreisel; Gaisi Takeuti
Numéro OCLC : 1327058
Notes : At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Description : 55 pages ; 25 cm.
Titre de collection : Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsabilité : G. Kreisel and G. Takeuti.

Critiques

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

Tags

Soyez le premier.

Ouvrages semblables

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.

Données liées


<http://www.worldcat.org/oclc/1327058>
library:oclcnum"1327058"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/1327058>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical"@en
schema:name"Logic, Symbolic and mathematical."@en
schema:about
schema:contributor
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:name"Formally self-referential propositions for cut free classical analysis and related systems"@en
schema:publisher
schema:url

Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

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