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

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.