As this is the fourth edition—though enlarged and partly re-written—of the work under notice, it is not necessary to review it in detail. It is sufficient to mention, by way of reminder, that for the ...
What seem to be Kurt Gödel's first notes on logic, an exercise notebook of 84 pages, contains formal proofs in higher-order arithmetic and set theory. The choice of these topics is clearly suggested ...
The Mathematics Teacher (MT), an official journal of the National Council of Teachers of Mathematics, is devoted to improving mathematics instruction from grade 8-14 and supporting teacher education ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results