Knihu momentálně nemáme skladem
Parametry
Více o knize
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Nákup knihy
First order logic and automated theorem proving, Melvin Fitting
- Jazyk
- Rok vydání
- 1996
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Tady nám chybí tvá recenze.