Formal Systems and Recursive Functions. Proceedings of the eighth Logic Colloquium Oxford, July 1963.

Crossley, J. N. and M. A. E. Dummett.

Edité par Amsterd., North-Holland Publ. Comp. 1965.

A propos de cet article

In Englisch. gr.-8°, 4 Bl. Titelei, 320 S., OLn. m. OU., abgegriff., OU. etw. rissig, Schnitt verstaubt. (= Studies in Logic and the Foundation of Mathematics).

N° de réf. du vendeur MATH0214

Détails bibliographiques

• Titre: Formal Systems and Recursive Functions. Proceedings of the eighth Logic Colloquium Oxford, July 1963.
• Éditeur: Amsterd., North-Holland Publ. Comp. 1965.
• Reliure: Couverture rigide
• État de la jaquette: Jaquette
• Catalogues du vendeur:
  • Mathematik