Intuitionistic type theory

by

Italian language

Published Aug. 12, 1984

ISBN:
978-88-7088-105-9
Copied ISBN!

View on Inventaire

No rating (0 reviews)

1 edition