Portada

An Introduction to Mathematical Logic and Type Theory

SPRINGER
07 / 2002
9781402007637
Anglès
Applied Logic Series