An inductive decision-procedure for the monadic predicate calculus

Henry W Johnstone

Abstract


Without abstract

Full Text:

PDF

Refbacks

  • There are currently no refbacks.