Informácie o titule

Logika prvého rádu (First-order logic)

Žáner: Vedy prírodné - Matematika

Jazyk: Slovenský

Rok: 1979

Rok originálneho vydania: 1968

Popis:

Táto kniha je jednou z najlepších prác o logike prvého rádu a jej metalogike. Na našom knižnom trhu knihu podobného charakteru nedostal čitateľ do rúk už dlhší čas. 
Publikácia je svojou náplňou úvodom do teórie kvantifikátorov a podáva výklad o nových výsledkoch a technikách v tejto oblasti. V práci sa kladie dôraz na metódu analytických tabiel, pretože sa vyznačuje jednoduchosťou a matematickou eleganciou. Obsahuje niekoľko nových pojmov, ktoré sa dosiaľ v slovenskej logickej terminológii nepoužívali. 
Určená je odborníkom z oblasti matematickej logiky, matematikom, filozofom a všetkým záujemcom o tento odbor. Knihu odporúčame aj k výučbe matematickej logiky na vysokých školách.

Na zobrazenie a stiahnutie súborov je potrebné sa prihlásiť.;