My friend and colleague Helmut Veith died yesterday. His death is a great and shocking loss to his family and friends, and the logic community, especially in Austria. I've known Helmut since we were undergraduates in computer science at Vienna Technical University in the early 1990s. We shared a passion for theoretical topics in computer … Continue reading Helmut Veith (1971-2016)
(Cross-posted from the Open Logic Project) Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about how to get your textbook to print, and for my course “Logic II (Phil 379)” this term, I’ve done that. Properly: perfect bound paperbacks, with a nice cover, proper … Continue reading An Actual Textbook, and: Photos!