The following pages link to Peter B. Andrews (Q804556):
Displaying 38 items.
- More on the problem of finding a mapping between clause representation and natural-deduction representation (Q804557) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- On connections and higher-order logic (Q908896) (← links)
- (Q1231693) (redirect page) (← links)
- The genus of a closed simply connected manifold (Q1231694) (← links)
- Herbrand Award acceptance speech (Q1425162) (← links)
- An introduction to mathematical logic and type theory: To truth through proof. (Q1847766) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- A transfinite type theory with type variables (Q2395467) (← links)
- Resolution and the consistency of analysis (Q2548957) (← links)
- (Q2723416) (← links)
- (Q2751367) (← links)
- (Q3086769) (← links)
- (Q3086772) (← links)
- (Q3086773) (← links)
- (Q3086774) (← links)
- (Q3086778) (← links)
- (Q3086779) (← links)
- (Q3086786) (← links)
- (Q3343471) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- (Q3795649) (← links)
- The Classification of Surfaces (Q3830236) (← links)
- (Q3880316) (← links)
- Sullivan's Minimal Models and Higher Order Whitehead Products (Q3883170) (← links)
- Theorem Proving via General Matings (Q3906484) (← links)
- Provability in Elementary Type Theory (Q4063411) (← links)
- Refutations by Matings (Q4096457) (← links)
- On sets, types, fixed points, and checkerboards (Q4645222) (← links)
- (Q4726218) (← links)
- Where Not to Find the Critical Points of a Polynomial--Variation on a Putnam Theme (Q4873029) (← links)
- False lemmas in Herbrand (Q5331469) (← links)
- On simplifying the matrix of a wff (Q5539745) (← links)
- Resolution With Merging (Q5573405) (← links)
- Resolution in type theory (Q5638281) (← links)
- General models, descriptions, and choice in type theory (Q5680122) (← links)
- General models and extensionality (Q5680123) (← links)
- Mechanizing Mathematical Reasoning (Q5717448) (← links)
