Capa

An Introduction to Mathematical Logic and Type Theory

SPRINGER
07 / 2002
9781402007637
978-14-0200-763-7
Inglês
Applied Logic Series
Ingles