Search alternatives:
mathematical » mathematics
Cover Image
Read Now

1
by Coquand, Thierry
Published 2000
Springer Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”