Catalogo · 9780387527345
Logic and computer science
Piergiorgio Odifreddi
ISBN 9780387527345 · Scienza
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers
Scienza
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
The extraordinary story of human origins
Piero Angela
Serendipity
Telmo Pievani
Impero
Alberto Angela
Stephen J. Gould
Gian Antonio Danieli
Invisible Women
Caroline Criado Perez
Viaggio dentro la mente
Piero Angela
The Mathematical Century
Piergiorgio Odifreddi
Cleopatra
Alberto Angela
White Holes
Carlo Rovelli
Creación sin Dios
Telmo Pievani
Collapse Volume 5/V
Damian Veal
Global Challenges for a Sustainable Society
José Alberto Benítez-Andrades
Altri libri di Piergiorgio Odifreddi
Dizionario della stupidità. Fenomenologia del non-senso della vita
Piergiorgio Odifreddi
Matematica del Siglo XX
Piergiorgio Odifreddi
Il diavolo in cattedra
Piergiorgio Odifreddi
Una via di fuga
Piergiorgio Odifreddi
Classical Recursion Theory (Studies in Logic and the Foundations of Mathematics)
Piergiorgio Odifreddi
Il matematico impenitente
Piergiorgio Odifreddi
Le menzogne di Ulisse
Piergiorgio Odifreddi
Il museo dei numeri. Da zero verso l'infinito, storie dal mondo della matematica
Piergiorgio Odifreddi
La via lattea
Piergiorgio Odifreddi
Incontri con menti straordinarie
Piergiorgio Odifreddi
Perché Dio non esiste
Piergiorgio Odifreddi
La matematica del Novecento
Piergiorgio Odifreddi
Verba volant · scripta manent