Kniha Mathematical Logic Daniel Cunningham

Mathematical Logic

An Introduction

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: De Gruyter
Dostupnost: Skladem u dodavatele
Odesíláme za 9-15 dnů
1 754
This textbook reviews the foundational topics that are typically covered in an introduction to proof...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2023
Stránek
305
EAN
9783110782011
Enbook ID
42409506
Vydavatel
Hmotnost
449
Rozměry
170 x 240

Kompletní popis

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.

Mohlo by vás zajímat

2 228

Mathematical Logic

Joel W Robbin
266

First-order Logic

Raymond M. Smullyan
188
2 671
249

Mathematical Logic

Heinz-Dieter Ebbinghaus
1 566

Periodontology

Richard Palmer
2 457
306

Time Has Grown Short

Trevor Cribben Merrill
553

A Show for Two

Tashie Bhuiyan
309

Shepherd

Frederick Forsyth
214

Cyber Security

Zhou Yu Zhou
918

100 Boyfriends

Brontez Purnell
294