přejít na obsah
Proof theory Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Proof theory

Autor Gaisi Takeuti
Vydavatel: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Edice: Studies in logic and the foundations of mathematics, v. 81.
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

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

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

Detaily

Typ materiálu: Internetový zdroj
Typ dokumentu: Book, Internet Resource
Všichni autoři/tvůrci: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
OCLC číslo: 1531974
Poznámky: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Popis: vii, 372 p. ; 23 cm.
Název edice: Studies in logic and the foundations of mathematics, v. 81.
Odpovědnost: Gaisi Takeuti.
Více informací:

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/1531974>
library:oclcnum"1531974"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/1531974>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:creator
schema:datePublished"1975"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:name"Proof theory"@en
schema:numberOfPages"372"
schema:publisher
schema:publisher
schema:url
schema:workExample
schema:workExample
schema:workExample

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.