The language of first-order logic
Barwise, Jon
The language of first-order logic - Stanford Center for the Study of Language and Information 1992 - xiv,319p. 24cm.
0937073903
First-order logic
BC128.B37
The language of first-order logic - Stanford Center for the Study of Language and Information 1992 - xiv,319p. 24cm.
0937073903
First-order logic
BC128.B37