×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
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, 63-81 (2008).
MSC:  03B15 03B40 01A75
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification