Proceeding on mathematical logic and applications - Shinoda J Ed.; International conference on mathematical logic and applications; Slaman T A Ed.; Tugue J Ed. (Berlin Springer Verlag, 1989)
Keywords: Mathematical logic; Mathematics