Capa

AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY

SPRINGER
12 / 2010
9789048160792
978-90-4816-079-2
Inglês
Applied Logic Series
ESPANHA
Ingles