passa ai contenuti
Proof theory
ChiudiAnteprima di questo documento

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
Voto:

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

 

Trova una copia in biblioteca

In fase di recupero… 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…

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
rdf:typeschema:Place
schema:name"New York, N.Y., U.S.A."
library:placeOfPublication
owl:sameAs<info:oclcnum/476872494>
rdf:typeschema:Book
rdfs:seeAlso
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:inLanguage"en"
schema:name"Proof theory"
schema:publisher
schema:publisher
rdf:typeschema:Organization
schema:name"Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co."
Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.