×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–3)

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
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software