Article,

An extension of ono's completeness result.

.
Math. Log. Q., 36 (4): 365-366 (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews