A formal theorem in Church s theory of types (+) The use of dots as brackets in Church's system. (In: "The Journal Of Symbolic Logic"). - [TURING ON CHURCH'S TYPE THEORY]

"TURING, A.M. (+) H. A. NEWMAN.

Zustand: Gebraucht Softcover

Verkauft von Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Dänemark

Verbandsmitglied:

AbeBooks-Verkäufer seit 2. November 2000

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis:
EUR 386,08
EUR 42,00 für den Versand von Dänemark nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen