Wiktor Marek

· 10 obras en el catálogo

Obras

Logic programming and non-monotonic reasoning

Elements of Logic and Foundations of Mathematics in Problems

AA decomposition of informational systems

A decomposition of informational systems

MMathematical foundations of information storage and retrieva

Mathematical foundations of information storage and retrieval

SSet Theory and Hierarchy Theory A Memorial Tribute to Andrze

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski

Elements of logic and foundations of mathematics in problems

EElementy logiki i teorii mnogości w zadaniach

Elementy logiki i teorii mnogości w zadaniach

Nonmonotonic logic

OOn the metamathematics of impredicative set theory

On the metamathematics of impredicative set theory

Spectrum of L