"Sinopsis" puede pertenecer a otra edición de este libro.
"Sobre este título" puede pertenecer a otra edición de este libro.
Gastos de envío:
EUR 2,47
A Estados Unidos de America
Descripción Condición: New. Nº de ref. del artículo: 4095233-n
Descripción Condición: New. Brand New. Nº de ref. del artículo: 048645018X
Descripción Paperback or Softback. Condición: New. Mathematical Logic: A First Course 0.57. Book. Nº de ref. del artículo: BBS-9780486450186
Descripción Condición: New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books!. Nº de ref. del artículo: OTF-S-9780486450186
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580229781
Descripción Condición: New. Book is in NEW condition. Nº de ref. del artículo: 048645018X-2-1
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-048645018X-new
Descripción Paperback. Condición: new. Paperback. Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds - including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background. This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780486450186
Descripción Condición: New. Nº de ref. del artículo: I-9780486450186
Descripción Paperback. Condición: New. Special order direct from the distributor. Nº de ref. del artículo: ING9780486450186