Cantitate/Preț
Produs
Total produse
Vezi coșul
An Introduction to Metalogic de Aladdin M. Yaqub

An Introduction to Metalogic

Autor Aladdin M. Yaqub
en Limba Engleză Paperback – 29 noi 2014
The meta-theory of classical logic is presented with unparalleled clarity in this rigorous new book.
Citește tot Restrânge

Preț: 28690 lei

Nou

Puncte Express: 430
Preț estimativ în valută:
5491€ • 5720$ • 4565£

Disponibil

Livrare economică 20 ianuarie-03 februarie 25
Livrare express 03-09 ianuarie 25 pentru 3915 lei

 Adaugă în coș

Wish list
Gift list
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781554811717
ISBN-10: 1554811716
Pagini: 300
Dimensiuni: 179 x 228 x 15 mm
Greutate: 0.54 kg
Editura: Broadview Press

Textul de pe ultima copertă

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.