induction-natural-deduction-rule.png - lectures.alex.balgavy.eu

	lectures.alex.balgavy.eu Lecture notes from university.
	git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
	Log \| Files \| Refs \| Submodules

induction-natural-deduction-rule.png (11593B)

Binary file.