Logika matematyczna 1948 r.
Andrzej Mostowski
- Rok wydania: 1948
- Rodzaj okładki: Twarda
- Autor: Andrzej Mostowski
- Wymiar: 17cm x 24cm
- Nr wydania: -
- Seria: -
- Ilość stron: 387
- Waga: 0.7 kg
- TIN: T05091293
- Rogi: uszkodzone / zagięte
- Obwoluta/Oprawa: zabrudzona / wytarta, z naklejkami / śladami taśmy, introligatorska
- Kartki: zabrudzone
- Blok: spójny
- Inne: adnotacje biblioteczne / pieczątki
<br /> <b id="docs-internal-guid-f8eef0d7-7fff-d047-1279-2eb682324146">Książka "Logika matematyczna" jest wynikiem wieloletniej pracy i doświadczenia autora, który był jednym z najwybitniejszych polskich matematyków i logików. Książka zawiera podstawowe pojęcia i twierdzenia logiki matematycznej, takie jak: rachunek zdań, rachunek predykatów, teoria mnogości, teoria relacji, teoria typów, teoria dowodu, teoria modeli, teoria rekursji, teoria liczb, teoria aksjomatów i teorie formalne. Książka jest napisana w jasnym i precyzyjnym języku, z uwzględnieniem symboliki logicznej i matematycznej. Książka jest bogato ilustrowana przykładami, zadaniami i rozwiązaniami. Książka jest uzupełniona bibliografią, indeksem i skorowidzem.</b>