Languages
Weir, Alan.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Truth through proof = a formalist foundation for mathematics /
by:
Weir, Alan.
(Electronic resources)