přejít na obsah
Formally self-referential propositions for cut free classical analysis and related system Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

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

Autor G Kreisel; G Takeuti
Vydavatel: Warzawa Państwowe Wydawnistwo Naukowe 1974
Edice: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Vydání/formát:   book_printbook : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: G Kreisel; G Takeuti
OCLC číslo: 246216180
Popis: 55 S
Název edice: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Odpovědnost: G. Kreisel; G. Takeuti

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.