headerdesktop englezawk14noi25

MAI SUNT 00:00:00:00

MAI SUNT

X

headermobile englezawk14noi25

MAI SUNT 00:00:00:00

MAI SUNT

X

First-Order Logic

De (autor): Raymond M. Smullyan

First-Order Logic - Raymond M. Smullyan

First-Order Logic

De (autor): Raymond M. Smullyan

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ""analytic"" or ""cut free"" methods. The focus is on the tableau point of view. Includes 144 illustrations.
Citește mai mult

-20%

PRP: 67.89 Lei

!

Acesta este Prețul Recomandat de Producător. Prețul de vânzare al produsului este afișat mai jos.

54.31Lei

54.31Lei

67.89 Lei

Primești 54 puncte

Important icon msg

Primești puncte de fidelitate după fiecare comandă! 100 puncte de fidelitate reprezintă 1 leu. Folosește-le la viitoarele achiziții!

Livrare in 2-4 saptamani

Descrierea produsului

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ""analytic"" or ""cut free"" methods. The focus is on the tableau point of view. Includes 144 illustrations.
Citește mai mult

S-ar putea să-ți placă și

De același autor

Părerea ta e inspirație pentru comunitatea Libris!

Istoricul tău de navigare

Acum se comandă

Noi suntem despre cărți, și la fel este și

Newsletter-ul nostru.

Abonează-te la veștile literare și primești un cupon de -10% pentru viitoarea ta comandă!

*Reducerea aplicată prin cupon nu se cumulează, ci se aplică reducerea cea mai mare.

Mă abonez image one
Mă abonez image one
Accessibility Logo

Salut! Te pot ajuta?

X