Article,

Infima of recursively enumerable truth table degrees.

, and .
Notre Dame Journal of Formal Logic, 29 (3): 420-437 (1988)

Meta data

Tags

Users

  • @dblp

Comments and Reviews