DMCA

Teaching freshman logic with Mizar-MSE (1996)

Cached

Download Links

by H. James Hoover , Piotr Rudnicki
Venue:In Workshop on Teaching Logic and Reasoning in an Illogical
Citations:4 - 0 self