Introduction to higher order categorical logic

by

English language

Published Dec. 30, 1989

ISBN:
978-0-521-35653-4
Copied ISBN!

View on Inventaire

No rating (0 reviews)

1 edition