EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F55 Intuitionistic mathematics

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Choice sequences and Markov's principle

R. E. Vesley (1972)

Compositio Mathematica

Choice sequences and reduction processes.

R. Haberthür (1978)

Archiv für mathematische Logik und Grundlagenforschung

Constructions of finitely generated submodules of constructively noetherian modules

Wim Ruitenburg (1987)

Compositio Mathematica

Constructive dimension theory

F. Richman, G. Berg, H. Cheng, R. Mines (1976)

Compositio Mathematica

Currently displaying 1 – 4 of 4

Page 1