passa ai contenuti
Proof theory Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Proof theory

Autore: Gaisi Takeuti
Editore: 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
Serie: Studies in logic and the foundations of mathematics, vol. 81
Edizione/Formato:   Libro : English : 2. edVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento: Book
Tutti gli autori / Collaboratori: Gaisi Takeuti
ISBN: 0444879439 9780444879431
Numero OCLC: 476872494
Note: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Descrizione: 490 s. : ill.
Titolo della serie: Studies in logic and the foundations of mathematics, vol. 81
Responsabilità: Gaisi Takeuti

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(2)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.