doorgaan naar inhoud
Formally self-referential propositions for cut free classical analysis and related system Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

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

Auteur: G Kreisel; G Takeuti
Uitgever: Warzawa Państwowe Wydawnistwo Naukowe 1974
Serie: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Editie/Formaat:   Boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: G Kreisel; G Takeuti
OCLC-nummer: 246216180
Beschrijving: 55 S
Serietitel: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Verantwoordelijkheid: G. Kreisel; G. Takeuti

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<http://www.worldcat.org/oclc/246216180>
library:oclcnum"246216180"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:author
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:isPartOf
schema:name"Formally self-referential propositions for cut free classical analysis and related system"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.