Portada

An Introduction to Mathematical Logic and Type Theory

SPRINGER
07 / 2002
9781402007637
Inglés
Applied Logic Series
Ingles
PVP
135,19