TY  - BOOK
AU  - Markov A A
AU  - Schorr-Kon J J
TI  - Theory of algorithms
U1  - 511.3 
PY  - 1961///
CY  - Washington
PB  - National Science Foundation
KW  - Algorithm
KW  - Mathematical logic
N1  - Tr from Russian
ER  -