Wiktor Marek

• Elements of logic and foundations of mathematics in problems
• Elements of Logic and Foundations of Mathematics in Problems
• Logic programming and non-monotonic reasoning
• Nonmonotonic logic
• Spectrum of L
• A decomposition of informational systems
• Elementy logiki i teorii mnogości w zadaniach
• Mathematical foundations of information storage and retrieval
• On the metamathematics of impredicative set theory
• Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski