Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to A.P.I.C. Studies in Data Processing.   

Kreiseliana: about and around Georg Kreisel

Piergiorgio Odifreddi - Biography & Autobiography - 1996 - 495 pages
This multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating ...
Snippet view - About this book

The Mathematical Century: The 30 Greatest Problems of the Last 100 Years

Piergiorgio Odifreddi, Arturo Sangalli - Mathematics - 2006 - 204 pages
The twentieth century was a time of unprecedented development in mathematics, as well as in all sciences: more theorems were proved and results found in a hundred years than in ...
Limited preview - About this book

Typed Lambda Calculi and Applications: International Conference on Typed ...

Marc Bezem, Jan F. Groote - Computers - 1993 - 432 pages
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped ...
Limited preview - About this book

Lectures on the Curry-Howard Isomorphism

Morten Heine Sørensen, Pawel Urzyczyn - Mathematics - 2006 - 456 pages
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search