Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) - Softcover

Dragalin, A. G.

 
9780821845202: Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Softcover
ISBN 10: 0821845209 ISBN 13: 9780821845202
Verlag: American Mathematical Society, 1988

Inhaltsangabe

In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the description of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is 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. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
1988
Sprache
Englisch
ISBN 10 
0821845209
ISBN 13 
9780821845202
Einband
Taschenbuch
Anzahl der Seiten
228
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
preigu
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
49078
Deutschland