skip to content
Formally self-referential propositions for cut free classical analysis and related systems Preview this item
ClosePreview this item
Checking...

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

Author: Georg Kreisel; Gaisi Takeuti
Publisher: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Series: Dissertationes mathematicae = Rozprawy matematyczne, 118
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Georg Kreisel; Gaisi Takeuti
OCLC Number: 1327058
Notes: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Description: 55 pages ; 25 cm.
Series Title: Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsibility: G. Kreisel and G. Takeuti.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/1327058>
library:oclcnum"1327058"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:contributor
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 systems"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.