Words, proofs and diagrams

Words, proofs and diagrams [Texte imprimé] / ed. by Dave Barker-Plummer, David I. Beaver, Johan van Benthem, Patrick Scotto di Luzio - Stanford: Center for the Study of Language and Information, 2002 - X-276 p. ; 23 cm

Index

Notes bibliogr.

1-57586-406-1

400.143