Logic and Type Theory in the Interwar Period | Publicación