Krystyna Mruczek-Nasieniewska – Równościowe i zdaniowe logiki P-zgodne
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej ...
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej ...
Książka zawiera wykład "logiki matematycznej" (oparty na teorii mnogości) i "logiki nowej", opartej na pojęciu maszyny logicznej (automatu). Konstrukcja maszyn ...
Facing the cold, clear glass, Alison Shaw stared nervously into the giant seawater tank.
Trzecia, ostania, część „czarnej trylogii” autorstwa Bartłomieja G. Sali. Książka stanowi rodzaj pocztu istot, jakie wedle zapisków alchemików, źródeł historycznych,...
© 2019 ebooki.org.pl