Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 KZDEMHYT8H

URI	`m2://res/KZDEMHYT8H`
Kind	monograph
Creators	Fred Richman (editor)
Date	1981
MSC	00Bxx, 03-06, 03Fxx
Scope	in

Expressions

e1: edition

Language	en
Date	1981
Ids	DOI 10.1007/bfb0090721, zbl 0453.00009, zbl_id 3708280

m1: print, Springer Berlin Heidelberg, 1981 (record). isbn 9783540108504, isbn 9783540387596

Relations

part_of Lecture Notes in Mathematics

References

not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Principles of Intuitionism (e1)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)

Cited by

Mathematical Logic and Applications

Catalogue records

springer-series: 10.1007/bfb0090721 (work)
zbmath_search: 3708280 (work)