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 - 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

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers

P. Odifreddi - Computers - 1992 - 667 pages
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive ...
Limited preview - About this book

Typed Lambda Calculi and Applications: Third International ..., Volume 3

Philippe de Groote, J. Roger Hindley - Computers - 1997 - 404 pages
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997 ...
Limited preview - About this book

COLOG-88: International Conference on Computer Logic, Tallinn, USSR ...

Per Martin-Löf, Grigori Mints - Computers - 1990 - 338 pages
This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western ...
Limited preview - About this book

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