Elements of Intuitionism
- Editore:
OXFORD UNIV PR
- Collana:
- Oxford Logic Guides
- EAN:
9780198505242
- ISBN:
0198505248
- Pagine:
- 344
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Elements of Intuitionism
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti