Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Practical Foundations of Mathematics - Paul Taylor - cover
Practical Foundations of Mathematics - Paul Taylor - cover
Dati e Statistiche
Wishlist Salvato in 0 liste dei desideri
Practical Foundations of Mathematics
Disponibilità in 2 settimane
273,40 €
273,40 €
Disponibilità in 2 settimane
Chiudi

Altre offerte vendute e spedite dai nostri venditori

Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
273,40 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
273,40 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
Chiudi
ibs
Chiudi

Tutti i formati ed edizioni

Chiudi
Practical Foundations of Mathematics - Paul Taylor - cover

Descrizione


Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Leggi di più Leggi di meno

Dettagli

Cambridge Studies in Advanced Mathematics
1999
Hardback
588 p.
Testo in English
236 x 157 mm
880 gr.
9780521631075

Conosci l'autore

Paul Taylor

1930, Wilkinsburg, Pennsylvania

Ballerino, coreografo e direttore di compagnia statunitense. Intraprese la carriera atletica prima di studiare danza con M. Graham, D. Humphrey, J. Limon e con A. Tudor al Metropolitan Opera House. Danzò nella compagnia di M. Cunningham (1953-54) e in quella della Graham (1958-62), fondando contemporaneamente un proprio gruppo (1954) in cui sperimentò le prime coreografie (Three Epitaphs, 1959) e con cui intraprese le prime tournées europee (Festival di Spoleto, 1960, e di Berlino, 1963; debutto a Londra, 1964). Tra le sue coreografie si ricordano Duet (m. di J. Cage, 1957), Meridian (m. di P. Boulez, poi sostituita da quella di M. Feldman, 1960), Auréole (m. di Händel, il suo primo capolavoro, 1962), Sports and Follies (m. di E. Satie, 1974), Esplanade (1975), Cloven Kingdom (1976), Airs...

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da IBS, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.ibs.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafetyibs@feltrinelli.it

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore