Predstavenie autora Melvin Fitting:

Rôzne číselné sústavy považuje väčšina ľudí za samozrejmosť, a to oprávnene. Každý človek, ktorý sa vážne zaujíma o matematiku, by sa však na ne mal aspoň raz za...

Ako ho dnes používajú profesionálni logici, je názov ich zvoleného...

Fitting a Mendelsohn predkladajú dôkladné spracovanie modálnej logiky prvého rádu spolu s niektorými výrokovými...