Metalogic

Name: Metalogic
Brand: University of California Press
SKU: 9780520023567
Price: 165.23 PLN
Availability: InStock

An Introduction to the Metatheory of Standard First Order Logic

Autor: Geoffrey Hunter

Język:

Oprawa: Miękka

Wydawca: University of California Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

165.23 zł

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

Informacje o książce

Autor

Geoffrey Hunter

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1992

strony

302

EAN

9780520023567

ISBN

0520023560

Enbook ID

04615338

Wydawca

University of California Press

Waga

400

Wymiary

209 x 136 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również