I welcome you to my homepage, visitor number 171764.
When not working at the Institute of Computational Biology at Boku, or managing the Erpelstolz Canned Worms business, I teach Unix courses or used to ponder ideas for my Gateway to Logic. For quite some time there have been my introductory courses in logic at the Department of Philosopy at the University of Vienna.
If you speak German, you might want to have a look at my slightly more comprehensive German homepage where you will also find the introductory logic textbook accompanying the late Dr. Klaus Dethloff's (obituary in German) legendary logic course.
My Gateway to Logic displays several kinds of logical diagrams and performs various other logical functions. Over the years, there have been a number of unexpected users and use cases.
If you'd like to get in touch with me, please send me an email (using this PGP/GPG key).