Peter B. Andrews

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)

1986 · ENGLISH · DJVU

View details →

An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof

1986 · ENGLISH · DJVU

View details →

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

1986 · ENGLISH · DJVU

View details →

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

1986 · ENGLISH · RAR

View details →

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

1996 · ENGLISH · DJVU

View details →