@book{andrews:1965,
    author     = {Andrews, Peter B.},
	title      = {A Transfinite Type Theory with Type Variables},
	year       = {1965},
    series     = {Studies in Logic and the Foundations of Mathematics},
    volume     = {36},
	publisher  = {North-Holland Publishing Company},
    isbn       = {978-0-4445-3402-6}
}

@book{andrews:2002,
    author     = {Andrews, Peter B.},
    title      = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof},
    year       = {2002},
    series     = {Applied Logic Series},
    volume     = {27},
    publisher  = {Springer Dordrecht},
    doi        = {10.1007/978-94-015-9934-4},
    isbn       = {978-1-4020-0763-7}
}

