Portada

An Introduction to Mathematical Logic and Type Theory

SPRINGER
07 / 2002
9781402007637
Inglés
Applied Logic Series