Matematická logika
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A03151009" target="_blank" >RIV/68407700:21230/08:03151009 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Mathematical Logic
Popis výsledku v původním jazyce
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic.
Název v anglickém jazyce
Mathematical Logic
Popis výsledku anglicky
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic.
Klasifikace
Druh
B - Odborná kniha
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
ISBN
978-80-87168-07-3
Počet stran knihy
226
Název nakladatele
kernberg publishing
Místo vydání
Praha
Kód UT WoS knihy
—