sentences undecidable formalized arithmetic di mostowski andrzej (7 risultati)

Condizione: Very Good. *FREE DOMESTIC SHIPPING UNTIL MONDAY, NOV. 24* **THIS IS THE 1957 SOFTCOVER PRINTING** 117 pp., softcover, previous owner's name to the front free endpaper else very good in a lightly worn dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Hardcover. 117pp. erratum slip laid in. Very good plus condition with text clean and binding sound in a very good, just lightly age toned, dust jacket.

Paperback. Condizione: Good.

softbound, 8vo viii+117 pp. auxiliary notions and theorems of arithmetic; the system (S) and its syntx; semantics of (S); recursivity and definability of functions and relations; proofs of incompleteness theorems; nearfine condition.

cartonato ed., sovracc. pp. VIII-117-(3) 8° Studies in logic and the foundations of mathematics Brouwer, Beth, Heyting. Bibliografia. Alcune sottolineature a matita. In ottimo stato.

Hardcover. Condizione: Fine. Condizione sovraccoperta: Fine. Studies in Logic and the Foundations of Mathematics. Flexible printed wraps in original matching dust jacket. Signature of Samuel Skulsky, notable philosopher and meta-physicist, on front fly leaf. Virtually as new. Fine in fine dust jacket.

VIII, 117 S. Kart.mS. *gutes Expl.* wenige zarte Bleistiftanstr. im Blattrand*.