Search
2210-5433 (print)
2210-5441 (online)
Springer
Proofs as cognitive or computational
Vol. 31/1
Wilfrid Hodges
Volume
Title
Author