Mathematical Logic

Name: Mathematical Logic
Brand: De Gruyter
SKU: 9783110782011
Price: 77.4 EUR
Availability: InStock

An Introduction

Автор: Daniel Cunningham

Език:

Корици: С меки корици

Издател: De Gruyter

Наличност: Външен склад

Изпращаме след 9-15 дни

77.40 € 151.39 лв

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

Информация за книгата

Автор

Daniel Cunningham

Език

Английски език

Корици

Книга - С меки корици

Издадена

2023

страници

305

EAN

9783110782011

Enbook ID

42409506

Издател

De Gruyter

Теглоt

449

Размери

170 x 240

Пълно описание

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.

Може също да ви хареса

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Mathematical Logic

An Introduction

Информация за книгата

Пълно описание

Може също да ви хареса