logic 1973 colloquium proceedings (1 résultats)

Hardcover. Etat : Fair. No Jacket. This volume is part of the Studies In Logic and The Foundation of Mathematics series of books. It contains most of the proceedings on mathematical logic held under the auspices of the Association for Symbolic Logic in July 1973 in Bristol, England. The main areas of interest of the conference were: philosophy of mathematics, metamathematics of algebra, proof theory, category theory and theory of computation. Some of the included papers are expanded and developed versions of the lectures given at the conference. Cadmium yellow cloth boards - which on very close inspection show some markings/blotches. Black label containing gilt titles towards the head of the spine - small area of the black label colouring has rubbed away; revealing underlying yellow cloth. Binding remains tight. Pages - mild to moderately tanned - tanning more evident on preliminary and final ones. Text includes many pages of calculations. See images. pp. vi, 513/8vo. Please note that depending on destination we may request an additional payment to cover any extra shipping/postage charges. Abe2221.