header
cover

1 - Five papers on logic and foundations
Cetin, G. S.   /   Markov, Andreï Andreevich (1903-1979)   /   Maslov, S. Ju   /   Zaslavskii, I. D.

Cote : [05 CEI 71]

cover

2 - Theory of algorithms
Markov, Andreï Andreevich (1903-1979)   /   Pst, Staff (Trad.)   /   Schorr-Kon, Jacques J. (Trad.)

Cote : [77 MAR 62]