passa ai contenuti
Formally self-referential propositions for cut free classical analysis and related systems Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

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

Autore: Georg Kreisel; Gaisi Takeuti
Editore: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Edizione/Formato:   Libro : EnglishVedi 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: Georg Kreisel; Gaisi Takeuti
Numero OCLC: 1327058
Note: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Descrizione: 55 pages ; 25 cm.
Titolo della serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsabilità: G. Kreisel and G. Takeuti.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
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/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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.