Udvidet returret til d. 31. januar 2025

Mathematical Intuitionism - A.G. Dragalin - Bog

- Introduction to Proof Theory

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780821845202
  • Indbinding:
  • Paperback
  • Sideantal:
  • 228
  • Udgivet:
  • 30. december 1988
  • Vægt:
  • 510 g.
  • Ukendt - mangler pt..

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Mathematical Intuitionism



Find lignende bøger
Bogen Mathematical Intuitionism findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.