Articoli correlati a Type Theory and Formal Proof: An Introduction
Sinossi
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
Rob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.
Herman Geuvers is Professor in Theoretical Informatics at the Radboud University Nijmegen, and Professor in Proving with Computer Assistance at Eindhoven University of Technology, both in The Netherlands.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 87,59
EUR 10,31 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Type Theory and Formal Proof: An Introduction
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Editore:
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antico o usato
Rilegato
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Codice articolo mon0003771034
Quantità: 1 disponibili
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781107036505_new
Quantità: Più di 20 disponibili
Foto dell'editore
Type Theory and Formal Proof
Editore:
Cambridge University Press, 2016
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antico o usato
Rilegato
Da: Buchpark, Maidenhead, Berkshire, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Fair. Condition: Fair, Pages: 466, Size: 25x17.5x2.9. Codice articolo 24677920/24
Quantità: 1 disponibili
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781107036505
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Type Theory and Formal Proof : An Introduction
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20987177-n
Quantità: Più di 20 disponibili
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock. This item is printed on demand. Codice articolo __110703650X
Quantità: 1 disponibili
Immagini fornite dal venditore
Type Theory and Formal Proof : An Introduction
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20987177-n
Quantità: Più di 20 disponibili
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1006. Codice articolo C9781107036505
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Type Theory and Formal Proof
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, . Codice articolo 447214471
Quantità: Più di 20 disponibili
Foto dell'editore
Type Theory and Formal Proof: An Introduction
Editore:
Cambridge University Press (edition 1), 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 110703650X-11-1
Quantità: 1 disponibili