13xx
1300: The notational conventions I adopted, and why
1301: The river, the isles and the bridges
1302: Once more bichrome triangles in complete graphs
1303: My recollections of operating system design
1304: The end of computing science?
1305: Answers to questions from students of Software Engineering
1306: The chessboard covered with dominoes
1306a: The chessboard covered with dominoes
1307: An unavoidable case analysis
1308: What led to “Notes on Structured Programming”
1309a: Zuckerman’s problem and the ETAC
1310: Three trip reports rolled into one: 2001.04.16 – 2001.07.06
1311: Another look at a problem from Hugo Steinhaus
1312: On disjoint binary numbers
1313: The GCD and the minimum
1315: Indirect equality enriched (and a proof by Netty)
1316: Philips and I: a few snapshots
1317: From van IJzeren’s correspondence to my aunt & uncle
1318: Coxeter’s rabbit