Kniha Metalogic Geoffrey Hunter

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Jazyk: Angličtina
Väzba: Brožovaná
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

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1992
Stránok
302
EAN
9780520023567
ISBN
0520023560
Enbook ID
04615338
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ť

270.03
34.53

Onyx Storm

Rebecca Yarros
27.87

First-order Logic

Raymond M. Smullyan
8.31
17.99

Customer Success Management

Michael Kleinaltenkamp
77.97
178.16

Lichen Sclerosus Diet

Stephanie Hinderock
9.77

Visual Thinker

Temple Grandin
21.12

Liminal Zone

Junji Ito
14.18
27.68
125.91

Winter's Heart

Robert Jordan
10.95
17.01

Love, Creekwood

Becky Albertalli
6.06

Spellmaker

Charlie N. Holmberg
9.19
38.64

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

Služba duchovního člověka

Louis-Claude de Saint-Martin
25.62