Language proof and logic - Barwise, Jon, (Center for the Study of Language and Information, 1999)
Contiene glosario e índice general.