Portada

AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY

SPRINGER
12 / 2010
9789048160792
Inglés
Applied Logic Series