Erschienen in: Open Access 01.10.2015 Four Decades of Mizar Foreword verfasst von: Adam Grabowski, Artur Korniłowicz, Adam Naumowicz Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2015 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Andrzej Trybulec – in Memoriam Nächster Artikel Reconsidering Pairs and Functions as Sets download DOWNLOAD print DRUCKEN