Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

ISBN 10: 981123647X ISBN 13: 9789811236471
Editore: World Scientific Pub Co Inc, 2021
Lingua: Inglese
Condizione: Usato - Molto buono Rilegato

Venduto da suffolkbooks, Center moriches, NY, U.S.A.

Venditore AbeBooks dal 10 dicembre 2020

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 30,25
Spedizione EUR 3,33
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello