More About the Author
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. He received his Ph.D.
Review and Comments
Rate the Book
A Transfinite Type Theory with Type Variables 0 out of 5 stars based on 0 ratings.