Skip to the content

Math 2.0

Resources / monograph

Mathematical Intuitionism: Introduction to Proof Theory PG5S3GMEXR

URI	`m2://res/PG5S3GMEXR`
Kind	monograph
Creators	A. Dragalin
Date	1988-12-31
MSC	03Fxx, 03F55, 03F99, 03-02, 03F05, 03F30, 03F35
Scope	in

Expressions

e1: edition

Language	en
Date	1988-12-31
Ids	DOI 10.1090/mmono/067, zbl 0634.03054, zbl_id 192927

m1: print, American Mathematical Society, 1988-12-31 (record). isbn 9780821845202, isbn 9780821898161, isbn 9781470444815

Relations

part_of Translations of Mathematical Monographs

Cited by

Logic and Computer Science

Catalogue records

ams-series: 10.1090/mmono/067 (work)
zbmath_search: 192927 (work)