Ir directamente a la información del producto
1 de 2

Hunter, Geoffrey

Metalogic ; an Introduction to the Metatheory of Standard First Order Logic

Metalogic ; an Introduction to the Metatheory of Standard First Order Logic

Precio habitual $53.00 USD
Precio habitual Precio de oferta $53.00 USD
Oferta Agotado
Los gastos de envío se calculan en la pantalla de pago.

Berkeley: University of California Press, 1971. First American Edition. Octavo in red paper-backed boards and pale grey jacket; xiii, 288 pages illustrations 23 cm; bibliographical references (pages 262-274). Fine copy with toning to paper stock (presumably as per usual); in a very good price-clipped jacket with small area of creasing and a closed tear (see photos); in archival mylar. Hardcover. ISBN: 0520018222; 9780520018228

Logique du premier ordre.Set theory; First-order logic Metalogik Mathematical logic. Formal languages. Consistency (logic) Metatheory. Fundamental informatics. Gödel, Theorema van. Logique du premier ordre.

Ver todos los detalles