Central and East EuropeanSociety for Phenomenology
Repository | Serials | Series | Volumes
Springer
Algebra, meaning, and computation
Vol. 4060
Some tips on writing proof scores in the ots/cafeobj method
Kazuhiro OgataKokichi Futatsugi
Volume
Title
Author