TY - BOOK AU - Blikle A ED - Symposium on Mathematical Foundations of Computer Science( 3rd : 1974 : Poland ) ED - Symposium on Mathematical Foundations of Computer Science 3rd TI - Mathematical foundations of Computer science : proceedings U1 - 4.0151 PY - 1975/// CY - Berlin PB - Springer Verlag KW - Computer science ER -