T�tulo: Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Editor: Univ of California Pr
Fecha de publicaci�n: 1971
Idioma: Ingl�s
ISBN 10: 0520023560
ISBN 13: 9780520023567
Encuadernaci�n: Paperback
Estado: Brand New
Peso: 0,42 kilogramos

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Derecho a cancelaci�n

Condiciones de env�o

Orders usually dispatched within two working days.

Tarifas de env�o de Reino Unido a Estados Unidos de America

Tarifas de env�o de Reino Unido a Estados Unidos de America
Cantidad del pedido	De 7 a 18 d�as h�biles	De 2 a 5 d�as h�biles
Primer art�culo	EUR 28.76	EUR 28.76

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.