Propositional and Predicate Calculus: A Model of Argument

Name: Propositional and Predicate Calculus: A Model of Argument
Brand: Springer London Ltd
SKU: 9781852339210
Price: 1566 CZK
Availability: InStock

Autor: Derek Goldrei

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 566 Kč

Covers the representation of mathematical statements by formulas in a formal language; the interpret...

Informace o knize

Autor

Derek Goldrei

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

315

EAN

9781852339210

ISBN

9781852339210

Enbook ID

09067587

Vydavatel

Springer London Ltd

Hmotnost

626

Rozměry

246 x 191 x 19

Kompletní popis

Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Propositional and Predicate Calculus: A Model of Argument

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také