Date: 2014-08-27 06:04:04

Mathematical proof

Recursion

Mathematical induction

Algorithm

Theorem

Structural induction

Natural deduction

Automated theorem proving

Recursive definition

Mathematics

Logic

Mathematical logic

Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 1,02 MB