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

Proof theory

Autor Gaisi Takeuti
Vydavatel: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
Edice: Studies in logic and the foundations of mathematics, vol. 81
Vydání/formát:   Kniha : English : 2. edZobrazit 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: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC číslo: 476872494
Poznámky: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Popis: 490 s. : ill.
Název edice: Studies in logic and the foundations of mathematics, vol. 81
Odpovědnost: Gaisi 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

Související předmětová hesla:(2)

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/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/476872494>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:name"Proof theory"
schema:publisher
schema:publisher
schema:url
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.