Journals Higher Education

£145.00

Hardback

This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 06 October 2005

372 Pages | numerous line drawings and mathematical examples

234x156mm

ISBN: 9780198566519


Also Available As:

Ebook


Also Available In:


Bookseller Code (AQ)

From Sets and Types to Topology and Analysis

Towards practicable foundations for constructive mathematics

Laura Crosilla and Peter Schuster

Clarendon Press

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

Also of Interest