Książka zawiera wykład „logiki matematycznej” (oparty na teorii mnogości) i „logiki nowej”, opartej na pojęciu maszyny logicznej (automatu). Konstrukcja maszyn matematycznych, automatyka i wiele innych działów technik wymaga znajomości szeregu pojęć logicznych, a także umiejętności posługiwania się metodami używanymi w badaniu podstaw matematyki. […] Książka nie jest klasycznym podręcznikiem logiki i nie zajmuje się gruntownymi studiami nad nią, jej jest przestawienie tych działów związanych z logiką, których znajomość jest użyteczna w pracy inżyniera zajmującego się teorią maszyn matematycznych, urządzeń automatycznych, zagadnieniami języków maszynowych i wieloma innymi.
Szczegóły książki:
- Data wydania
- 1970 (data przybliżona)
- Liczba stron
- 315
- Słowa kluczowe
- Logika, logika matematyczna, logika formalna, matematyka, dla inżynierów
- Język
- Polski
