A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A - Logical Frameworks for Truth and Abstraction - An Axiomatic Study

Scrivi la tua prima recensione!

Fr. 169.00

A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A

Logical Frameworks for Truth and Abstraction - An Axiomatic Study

Inglese · Copertina rigida

Spedizione di solito entro 1 a 3 settimane (non disponibile a breve termine)

Descrizione

Ulteriori informazioni

Zusammenfassung Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

Dettagli sul prodotto

Autori A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A
Editore ELSEVIER SCIENCE BV
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 01.03.1996
 
EAN 9780444823069
ISBN 978-0-444-82306-9
Pagine 460
Serie Studies in Logic and the Foundations of Mathematics
Categorie Scienze naturali, medicina, informatica, tecnica > Matematica > Altro
Scienze umane, arte, musica > Scienze linguistiche e letterarie > Linguistica generale e comparata

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.