Ian ChiswellBooksMathematical Logic. Oxford Texts in Logic, Volume 3Universal Construction for Groups Acting Freely on Real TreesIntroduction To ?-TreesIntroduction to Lambda TreesAuthor data: Open Library