Prezentacja autora Melvin Fitting:

Różne systemy liczbowe są zwykle uważane za oczywiste przez większość ludzi, i słusznie. Jednak przynajmniej raz w życiu każda osoba poważnie zainteresowana...

Używana dziś przez profesjonalnych logików, jest nazwą...

Fitting i Mendelsohn przedstawiają dogłębną analizę logiki modalnej pierwszego rzędu, wraz z pewnymi...