Resources (Rev #2, changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

Here are some resources.

~~The~~~~Theory~~~~of~~~~Constructive~~~~Types:~~~~Principles~~~~of~~~~Logic~~~~and~~~~Mathematics,~~~~Krakow:~~~~University~~~~Press,~~~~1925,~~~~98~~~~pp.~~~~Extracted~~~~from~~~~the~~~~Annales~~~~de~~~~la~~~~Société~~~~Polonaise~~~~de~~~~Mathématique.~~~~(In~~~~DjVu~~~~format)~~~~Linked from this page, under Bibliography, On logic and mathematics.~~-
The Theory of Constructive Types: Principles of Logic and Mathematics, Krakow: University Press, 1925, 98 pp. Extracted from the Annales de la Société Polonaise de Mathématique. (In DjVu format) Linked from this page, under Bibliography, On logic and mathematics.