Elements of Intuitionism

Main
Mathematics
Elements of Intuitionism

Elements of Intuitionism

Name: Elements of Intuitionism
ISBN: 9780198505242

Michael Dummett

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.

კატეგორია:

Mathematics

წელი:

2000

გამოცემა:

2nd

გამომცემლობა:

Oxford University Press, USA

ენა:

english

გვერდები:

346