TY  - BOOK
AU  - Parikh,R.
ED  - Symposium on logic colloquim
TI  - Logic colloquim
U1  -  510.82 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical analysis
KW  - Mathematics
KW  - Data processing
KW  - Electronic data processing
ER  -