Date: 2012-09-21 04:30:26

Knowledge

Proof theory

Inductive reasoning

Mathematical proofs

Theoretical computer science

Mathematical induction

Recursive definition

Ordinal analysis

Mathematical logic

Mathematics

Logic

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

File Size: 1,04 MB