logistyka
współczesna postać logiki formalnej; dział matematyki obejmujący teorię poprawnego dowodzenia (wnioskowania dedukcyjnego) i teorię struktury systemów dedukcyjnych; rozwija się od poł. XIX w. (Ch. Peirce, G. Boole), najciekawszych odkryć dostarczyli K. Gödel i A. Tarski; l.m. obejmuje teorię modeli, rekursji i dowodu.
SIKORSKI, LOGISTYKA, XENAKIS, DEDUKCJA, PEANO, FRAENKEL Abraham Adolf, CANTOR Georg, LINGWISTYKA MATEMATYCZNA, LICZBY NATURALNE, LWOWSKO-WARSZAWSKA SZKOŁA
- logika, postępować wbrew wszelkiej...
- METALOGIKA, teoria i metodologia...
- LWOWSKO-WARSZAWSKA SZKOŁA, polska szkoła filozoficzna...