First-Order Logic and Automated Theorem Proving (anglicky)

· Springer-Verlag New York Inc. · 2013 · brožovaná · 326 stran

First-Order Logic and Automated Theorem Proving (anglicky)

1 882 Kč
1 882 Kč
DMOC 2 112 Kč
Produkt momentálně není dostupný.
Podívejte se na dostupné alternativy.
There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. číst celé 
First-Order Logic and Automated Theorem Proving (anglicky)
Produkt momentálně není dostupný.
1 882 Kč
  • Mohlo by Vás také zaujmout
  • Další knihy autora
  • Další zboží nakladatele
  • Naposledy prohlédnuté
  • Podobní autoři

Podobní autoři

Návrh štítků k produktu

Navrhněte maximálně 5 klíčových slov (štítků) k tomuto produktu.

Za každý přidaný štítek musíte poté 5x ohodnotit štítky ostatních.

Nezapomeňte navrhnuté štítky uložit stisknutím tlačítka „Uložit přidané štítky“.

K této knize jste navrhli štítky:

    Hodnocení štítků

    Klikněte na štítek, který se více hodí k produktu.

    Nyní následuje 5x hodnocení štítků ostatních.


    Proč nakupovat u nás?

    • Největší skladové zásoby sortiment všeho druhu
    • Levná doprava doslova za pár kaček
    • Spokojení zákazníci známka kvality
    • Vyzvednutí kdekoliv místo vybíráte vy
    • Skvělá zákaznická podpora neváhejte zavolat
    Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
    Nejsou zde žádné recenze. Buďte první a napište svoji!
    Váš avatar
    Vybrat si
    Jméno
    Vaše recenze
    0

    Kniha návštěv

    Ověřené příspěvky jsou tak označené, ostatní jsou neověřené.

    Alkohol mohou nakupovat pouze osoby starší 18 let.

    Prosím potvrďte, že Vám již bylo 18 let.