Tag: Andrzej Mostowski

Andrzej Mostowski – Logika matematyczna

Andrzej Mostowski, Kazimierz Kuratowski – Teoria mnogości

W dziedzinie podstaw teorii mnogości Mostowski badał zależności pomiędzy rozmaitymi formułami teoriomnogościowymi, w szczególności formami tzw. pewnika wyboru postulującego istnienie ...

Andrzej Mostowski, Zdzisław Pawlak – Logika dla inżynierów

Książka zawiera wykład "logiki matematycznej" (oparty na teorii mnogości) i "logiki nowej", opartej na pojęciu maszyny logicznej (automatu). Konstrukcja maszyn ...