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

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

Autor Georg Kreisel; Gaisi Takeuti
Vydavatel: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Edice: Dissertationes mathematicae = Rozprawy matematyczne, 118
Vydání/formát:   Kniha : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

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

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

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

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: Georg Kreisel; Gaisi Takeuti
OCLC číslo: 1327058
Poznámky: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Popis: 55 pages ; 25 cm.
Název edice: Dissertationes mathematicae = Rozprawy matematyczne, 118
Odpovědnost: G. Kreisel and 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í.

Podobné dokumenty

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/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

Zavřít okno

Prosím přihlaste se do WorldCat 

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