Mathematical Logic: An Introduction

Main
Mathematics - Logic
Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Name: Mathematical Logic: An Introduction
ISBN: 9783110782011

Daniel Cunningham

5.0 / 5.0

0 comments

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

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.

Kategorije:

Mathematics - Logic

Godina:

2023

Izdavač:

de Gruyter

Jezik:

english

Strane:

270

ISBN 10:

3110782014