Mathematical Logic

Name: Mathematical Logic
Brand: De Gruyter
SKU: 9783110782011
Price: 327.6 PLN
Availability: InStock

An Introduction

Autor: Daniel Cunningham

Język:

Oprawa: Miękka

Wydawca: De Gruyter

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

327.60 zł

This textbook reviews the foundational topics that are typically covered in an introduction to proof...

Informacje o książce

Autor

Daniel Cunningham

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2023

strony

305

EAN

9783110782011

Enbook ID

42409506

Wydawca

De Gruyter

Waga

449

Wymiary

170 x 240

Pełny opis

This textbook reviews the foundational topics that are typically covered in an introduction to proof course and studies the language of sentential logic as well as investigating the more powerful language of first-order logic and the notion of a formal deduction in first-order logic, in addition, it proves Godel's Completeness Theorem and discusses incompleteness and the computability concept.

Możesz być zainteresowany

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic

An Introduction

Informacje o książce

Pełny opis

Możesz być zainteresowany