T�tulo: Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Editor: University of California Press
Fecha de publicaci�n: 1996
Idioma: Ingl�s
ISBN 10: 0520023560
ISBN 13: 9780520023567
Encuadernaci�n: Trade Paperback
Estado: Good to Very Good

Acerca de

Sinopsis

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

Acerca del autor

Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Benjamin Books is a used bookstore located in Ottawa, Canada. We have many years of experience selling and shipping books to customers all over the world. Specializing in scholarly and antiquarian books.

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

1062466 Ontario Ltd
122 Osgoode St., Ottawa, ON, K1N 6S2, Canada

Condiciones de venta y env�o

Condiciones de venta

All books are in very good condition unless otherwise described.
Customers in Canada will be charged 5% GST/TPS.
Delivery costs are not included in the list price.
VISA, Mastercard accepted.
Total cost, confirmation of availability, and responses to any questions will be communicated to the customer via e-mail prior to sale.
Special billing and shipping arrangements available to schools, libraries, governments, and other institutions.

Derecho a cancelaci�n

Condiciones de env�o

Shipping rates based on books 1kg or less.

Tarifas de env�o de Canada a Estados Unidos de America

Tarifas de env�o de Canada a Estados Unidos de America
Cantidad del pedido	De 7 a 22 d�as h�biles	De 5 a 15 d�as h�biles
Primer art�culo	EUR 10.33	EUR 27.54

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.