by Michael Dummett (Author)
This is a new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader through the basic mathematical and philosophical concepts. Topics like the Bar Theorem, valuation systems and first-order logic have been revised.
Format: Hardcover
Pages: 344
Edition: 2
Publisher: Clarendon Press
Published: 15 Jun 2000
ISBN 10: 0198505248
ISBN 13: 9780198505242