TY  - BOOK
AU  - Orevkov V P
ED  - Steklov Institute of Mathematics( 1968 : Moscow )
ED  - Steklov Institute of Mathematics
TI  - Calculi of symbolic logic, pt 1 : proceedings
U1  - 510.6047 
PY  - 1971///
CY  - Providence
PB  - A M S
KW  - Mathematics
ER  -