Könyv Metalogic Geoffrey Hunter

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Szerző: Geoffrey Hunter
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 9-15 napon belül
14 620 Ft
This work makes available to readers without specialized training in mathematics complete proofs of...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1992
oldal
302
EAN
9780520023567
ISBN
0520023560
Enbook ID
04615338
Súly
400
Méretek
209 x 136 x 18

Teljes leírás

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.

Érdekelheti

107 186 Ft
12 847 Ft

Onyx Storm

Rebecca Yarros
8 174 Ft

First-order Logic

Raymond M. Smullyan
3 457 Ft
4 377 Ft

Customer Success Management

Michael Kleinaltenkamp
30 084 Ft
63 103 Ft

Lichen Sclerosus Diet

Stephanie Hinderock
4 078 Ft

Visual Thinker

Temple Grandin
6 785 Ft

Liminal Zone

Junji Ito
5 396 Ft
17 113 Ft
48 827 Ft

Winter's Heart

Robert Jordan
3 993 Ft
7 066 Ft

Love, Creekwood

Becky Albertalli
2 466 Ft

Spellmaker

Charlie N. Holmberg
3 484 Ft
14 718 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Služba duchovního člověka

Louis-Claude de Saint-Martin
8 710 Ft