Reutlingen
2°
Autor dzieła, Petrus Hispanus, jest identyfikowany z lekarzem o tym samym nazwisku, który został papieżem Janem XXI.
Inicjał i rubryki czerwone
Zawiera liczne marginalia łac. z XV wieku
Leipzig
2°
14 kart, sygnowanie A6, B4-C4
Nazwa redaktora w kolofonie.
Pod kolofonem sygnet drukarski Martina Landsberga z Lipska.
Liczne marginalia i zapiski
Systémy axiomů pro elementární logiku, které můžeme najít v učebnicích, nejsou obvykle příliš transparentní; a čtenář by se mohl divit, jak přesně vznikl takový soubor axiomů. V tomto příspěvku ...představujeme způsob, jak vytvořit jednu takovou netransparentní sadu axiomů, a to transparentní způsob, který předložil E. Mendelson ve svém Úvodu do matematické logiky , s cílem pomoci čtenáři nahlédnout do fungování axiomů.
Jaroslav Peregrin
Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms.
Magyar logikácska és egyéb írások Szigeti, József (selected by); Szigeti, József (notes written by); Szever, Pál (electronic version made by) ... Paper
