Automated Reasoning in Higher-order LogicSet Comprehension and Extensionality in Church's Type TheoryAvChad E. BrownHäftad, Engelska, 2007315 krLägg i varukorgLägg tillSkickas inom 5-8 vardagar
Reasoning in Simple Type TheoryFestschrift in Honor of Peter B. Andrews on His 70th BirthdayAvChristoph Benzmueller,Chad E Brownm. fl.Häftad, Engelska, 2008315 krLägg i varukorgLägg tillSkickas inom 5-8 vardagar