Normal view
MARC view
Liu, Albert, 1966- (Nomi di persona)
Language, proof, and logic / Jon Barwise & John Etchemendy. - Stanford (Ca.), ©2002. coll.