Utvidet returrett til 31. januar 2024

Mathematical Intuitionism

- Introduction to Proof Theory

Om Mathematical Intuitionism

In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780821845202
  • Bindende:
  • Paperback
  • Sider:
  • 228
  • Utgitt:
  • 30. desember 1988
  • Vekt:
  • 510 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 27. november 2024

Beskrivelse av Mathematical Intuitionism

In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.

Brukervurderinger av Mathematical Intuitionism



Finn lignende bøker
Boken Mathematical Intuitionism finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.