Mathematical Logic
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Mathematical Logic
Original language description
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic.
Czech name
Matematická logika
Czech description
Kniha se zabývá výrokovou logikou a predikátovou logikou. Rezoluční princip je uveden jak pro vyrokovou tak i predikátovou logiku.
Classification
Type
B - Specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
978-80-87168-07-3
Number of pages
226
Publisher name
kernberg publishing
Place of publication
Praha
UT code for WoS book
—