Metalogic

Name: Metalogic
Brand: University of California Press
SKU: 9780520023567
Price: 37.17 EUR
Availability: InStock

An Introduction to the Metatheory of Standard First Order Logic

Autor: Geoffrey Hunter

Jazyk:

Väzba: Brožovaná

Vydavateľ: University of California Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

37.17 €

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

Informácie o knihe

Autor

Geoffrey Hunter

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1992

Stránok

302

EAN

9780520023567

ISBN

0520023560

Enbook ID

04615338

Vydavateľ

University of California Press

Hmotnosť

400

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež