Contributions

  • Aart Middeldorp (Editor) - Contributor
  • Vincent van Oostrom (Editor) - Contributor
  • Femke van Raamsdonk (Editor) - Contributor
  • Roel de Vrijer (Editor) - Contributor

Publication

2006-01-23 - Springer

Language

English

Word Count

159,750 words, Guess

Page Count

639 pages

Physical Format

Paperback

Identifiers

and 4 more

Classifications

  • LCCQA9.5 .P76 2005

Subjects

Topics

LogicCalculusInfinityComputersMathematicsmu calculusMATHEMATICS

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!