Metalogic

Name: Metalogic
Brand: University of California Press
SKU: 9780520023567
Price: 902 CZK
Availability: InStock

An Introduction to the Metatheory of Standard First Order Logic

Autor: Geoffrey Hunter

Jazyk:

Vazba: Brožovaná

Vydavatel: University of California Press

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

902 Kč

This work makes available to readers without specialized training in mathematics complete proofs of...

Informace o knize

Autor

Geoffrey Hunter

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1992

Stránek

302

EAN

9780520023567

ISBN

0520023560

Enbook ID

04615338

Vydavatel

University of California Press

Hmotnost

400

Rozměry

209 x 136 x 18

Kompletní popis

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

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

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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