Partiality in Logic and Computation. Aspects of Unde (1994)

by J Kuper