1
by Benthem, Johan van
Published 1997
Elsevier
Table of Contents: ... -- Mathematical linguistics and proof theory / W. Buszkowski -- Formal learning theory / D. Osherson [and others...