This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé’s characterization of elementary equivalence, Lindström’s theorem on the maximality of first-order logic, and the fundamentals of logic programming.
"Sinopsis" puede pertenecer a otra edición de este libro.
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 3,20 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoEUR 7,67 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_444528954
Cantidad disponible: 1 disponibles
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00086155231
Cantidad disponible: 1 disponibles
Librería: Daedalus Books, Portland, OR, Estados Unidos de America
Hardcover. Condición: Very Good. Second Edition. A nice, solid copy. ; Undergraduate Texts In Mathematics; 6.4 X 1 X 9.4 inches; 289 pages. Nº de ref. del artículo: 329054
Cantidad disponible: 1 disponibles
Librería: AproposBooks&Comics, London, Reino Unido
Hardcover. Condición: Fine. 2nd Edition. Nº de ref. del artículo: ful/080924/HJGHJGHJG
Cantidad disponible: 1 disponibles
Librería: Russ States, Oil City, PA, Estados Unidos de America
Hard Cover. Condición: Very Good. No Jacket. (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean. Nº de ref. del artículo: 14-0880
Cantidad disponible: 1 disponibles
Librería: Best Price, Torrance, CA, Estados Unidos de America
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9780387942582
Cantidad disponible: 2 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 462047-n
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 462047
Cantidad disponible: Más de 20 disponibles
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580173998
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9780387942582_new
Cantidad disponible: Más de 20 disponibles