Home

WorldCat Home Su WorldCat Aiuto Ricevi aggiornamenti via e-mail Feedback

Cerca

Cerca documenti Cerca una lista Cerca contatti Cerca una biblioteca

Crea liste, bibliografie e commenti: o

Cita/Esporta

Cita/Esporta

Copia una citazione

APA (6th ed.)

Chicago (Authore-Data, 15. ed.)

Harvard (18. ed.)

MLA (7. ed.)

Turabian (6. ed.)

Esporta una citazione
Esporta in RefWorks Esporta su EndNote / Gestione Reference Esporta in EasyBib Annulla
Nota: Le citazioni si basano su standard di riferimento. Tuttavia, le regole di formattazione possono variare notevolmente tra le applicazioni e campi di interesse o di studio. Possono essere applicati i requisiti specifici o le preferenze del tuo editore, insegnante, istituzione o organizzazione.
Stampa
Email

Email

Tutti i campi sono obbligatori.

Il campo email è obbligatorio. Inserisci l'indirizzo(i) e-mail.

L’indirizzo email inserito non è in un formato corretto. Inserirlo nuovamente.

Puoi inviare questo documento ad un massimo di cinque destinatari.
Inserisci indirizzi email destinatari: Separa al massimo 5 indirizzi con la virgola (,)
Il campo nome è obbligatorio. Inserisci il tuo nome.
Inserisci il tuo nome: Soggetto:
Il campo messaggio email è obbligatorio. Inserire il messaggio.
Messaggio email: Credo tu possa essere interessato a questo documento su http://www.worldcat.org/oclc/1327058 Titolo: Formally self-referential propositions for cut free classical analysis and related systems Autore: Georg Kreisel; Gaisi Takeuti Editore: Warszawa : Państwowe Wydawn. Naukowe, 1974. OCLC:1327058

I termini ReCaptcha inseriti non sono corretti. Si prega di provare a trovare le due parole corrispondenti mostrate nella finestra o di provare la versione audio.

Annulla
Condividi
Permalink

Permalink

Copia questo URL per collegare a questa pagina:

Scrivi un commento
Vota questo documento:
- 1
- 2
- 3
- 4
- 5

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

Anteprima di questo documento

Altri come questo

Soggetti

Documenti simili

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

Autore:	Georg Kreisel; Gaisi Takeuti
Editore:	Warszawa : Państwowe Wydawn. Naukowe, 1974.
Serie:	Dissertationes mathematicae = Rozprawy matematyczne, 118
Edizione/Formato:	Libro : EnglishVedi tutte le edizioni e i formati
Voto:	(non ancora votato) 0 con commenti - Diventa il primo.

Chiedi in prestito / ottieni una copia

Trova una copia in biblioteca

Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento:	Book
Tutti gli autori / Collaboratori:	Georg Kreisel; Gaisi Takeuti Più informazioni su:
Numero OCLC:	1327058
Note:	At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Descrizione:	55 p. ; 25 cm.
Titolo della serie:	Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsabilità:	G. Kreisel and G. Takeuti.

Commenti

Commenti degli utenti

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(3)

Conferma questa richiesta

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

Dati collegati

Maggiori informazioni sui dati collegati

<http://www.worldcat.org/oclc/1327058>

library:oclcnum

"1327058"

library:placeOfPublication

<http://id.loc.gov/vocabulary/countries/pl>

rdf:type

schema:Country

library:placeOfPublication

rdf:type	schema:Place
schema:name	"Warszawa"

owl:sameAs

<info:oclcnum/1327058>

rdf:type

schema:Book

schema:about

<http://id.worldcat.org/fast/1041273>

rdf:type	schema:Intangible
schema:name	"Numerical analysis"

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85107552>
rdf:type	schema:Intangible
schema:name	"Proposition (Logic)"

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85093237>
rdf:type	schema:Intangible
schema:name	"Numerical analysis."

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85078115>
rdf:type	schema:Intangible
schema:name	"Logic, Symbolic and mathematical."

schema:about

<http://id.worldcat.org/fast/1079268>

rdf:type	schema:Intangible
schema:name	"Proposition (Logic)"

schema:about

<http://id.worldcat.org/fast/1002068>

rdf:type	schema:Intangible
schema:name	"Logic, Symbolic and mathematical"

schema:about

<http://dewey.info/class/510.1/>

rdf:type

schema:Intangible

schema:author

<http://viaf.org/viaf/15582257>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n90705386>
rdf:type	schema:Person
rdfs:label	"Kreisel, Georg."

schema:contributor

<http://viaf.org/viaf/64133112>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n50008917>
rdf:type	schema:Person
rdfs:label	"Takeuti, Gaisi, 1926-"

schema:datePublished

"1974"

schema:inLanguage

"en"

schema:name

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

schema:numberOfPages

"55"

schema:publisher

rdf:type	schema:Organization
schema:name	"Państwowe Wydawn. Naukowe"

Per favore entra in WorldCat

Non hai un account? Puoi facilmente crearne uno gratuito.

Yu:	Entra \| Registro \| Il Mio WorldCat \| Le Mie liste \| Le liste che seguo \| I Miei commenti \| Le mie Etichette \| Le Mie ricerche salvate
WorldCat:	Home \| A proposito di \| Aiuto \| Ricevi aggiornamenti via e-mail \| Feedback \| Cerca