Cantitate/Preț
Produs

Metalogic

Autor Hunter
en Limba Engleză Paperback – 30 iun 1992
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
Citește tot Restrânge

Preț: 25455 lei

Puncte Express: 382

Preț estimativ în valută:
4502 5203$ 3885£

Carte tipărită la comandă

Livrare economică 25 aprilie-09 mai


Specificații

ISBN-13: 9780520023567
ISBN-10: 0520023560
Pagini: 302
Ilustrații: Ill.
Dimensiuni: 139 x 208 x 19 mm
Greutate: 0.34 kg
Ediția:Revised
Editura: University of California Press