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