Back to Results
First PageMeta Content
Mathematics / Logic / Mathematical logic / Recursion / Theoretical computer science / Mathematical proofs / Type theory / Mathematical induction / Structural induction / Recursive definition / Automated theorem proving / Natural deduction


Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle
Add to Reading List

Document Date: 2018-08-15 07:19:42

Open Document

File Size: 1,01 MB

Share Result on Facebook
UPDATE