Tag: logika fromalna

Książka ukazała się po raz pierwszy w 1929 r. jako skrypt i do dziś jest jednym z lepszych wprowadzeń do logiki matematycznej. Zawiera interesujący wstęp filozoficzny, ciekawe uwagi historyczne, kompletny wykład logiki zdań w ujęciu aksjomatycznym, informacje o logice wielowartościowej i dowody wielu twierdzeń metalogicznych. Publikacja posiada również walory historyczne, ukazuje bowiem stan nauczania logiki w Polsce w okresie rozkwitu warszawskiej szkoły logicznej. Wielokrotnie wznawiana ma nie tylko wartości dokumentu historycznego, ale jest również dowodem wciąż aktualnych wyników naukowych.