zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 271-302 (2008).
MSC:  03B40 03G25 08A70
BibTeX Cite

Filter Results by …

Document Type
Year of Publication