• 4 Lze půjčit domů
• 3 MU.absent
• 1 Jen do studovny
• 1 PSU.absent

• 10 Kniha

Externí sklad

• 9 Henkin, Leon
• 3 Tarski, Alfred
• 2 Suppes, Patrick
• 1 Addison, J. W.
• 1 Addison, John
• 1 Chang, C. C.
• 1 Craig, William, 1918-2016
• 1 Henkin, Léon
• 1 Jaglom, Isaak Moisejevič, 1921-1988
• 1 Joja, Athanase
• 1 Moisil, Gr. C.
• 1 Scott, Dana
• 1 The axiomatic method
• 1 Vaught, Robert L., 1926-2002
• Zobrazit vše…

• 7 angličtina
• 2 francouzština
• 2 ruština

• 3 monografie
• 1 proceedings of conferences
• 1 sborníky konferencí
• 1 studie
• 1 studies

• 1 RETROKON 09
• 1 RETROKON11