Journals Higher Education



Published: 08 December 2005

370 Pages

ISBN: 9780198566519

Also Available As:


Also Available In:

Bookseller Code (06)

From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

Edited by Laura Crosilla and Peter Schuster

A Clarendon Press Publication

Oxford Logic Guides

  • Reference book covering the latest developments in the practicable foundations for constructive mathematics
  • World-class contributors
  • Broad in scope and aimed at computer scientist, logicians and philosophers

Also of Interest