Posts By: slawekk
| Date | Post | Topic |
| 04/24/2009 | LCF vs. De Bruijn criterion | The deBrujin Criterion and the "LCF Approach". |
| 04/27/2009 | Separation | The deBrujin Criterion and the "LCF Approach". |
| 12/05/2008 | a bit more than 100 theorems | AMS: A Special Issue on Formal Proof |
| 12/09/2008 | Isabelle/ZF | AMS: A Special Issue on Formal Proof |
| 07/24/2008 | Mizar, Isar and proofless text | Practical Set Theory |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |