Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dragalin, Alʹbert Grigorʹevich
3  Ergebnisse:
Personensuche X
?
1

Mathematical intuitionism 

introduction to proof theory  Translations of mathematical monographs ; 67
Dragalin, Al'bert Grigor'evič ; Dragalin, Alʹbert Grigorʹevich , c1988
Exemplar:  Zentrale:E02 a mat 011 e/972
 
?
2

Explicit algebraic models for constructive and classical th..:

Dragalin, Albert G.
Studia Logica.  55 (1995)  1 - p. 33-61 , 1995
Link: https://doi.org/10.1007/..
 
?
3

Explicit Algebraic Models for Constructive and Classical Th..:

Dragalin, Albert G.
Studia Logica: An International Journal for Symbolic Logic.  55 (1995)  1 - p. 33-61 , 1995
Link: https://www.jstor.org/st..
 
1-3