Logic and Computer Science als Buch (kartoniert)
PORTO-
FREI

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C. I. M. E. ) held at…
Buch (kartoniert)
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conje … weiterlesen
Buch (kartoniert)

26,49 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 3 bis 5 Werktagen
Logic and Computer Science als Buch (kartoniert)

Produktdetails

Titel: Logic and Computer Science
Autor/en: Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov

ISBN: 3540527346
EAN: 9783540527343
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C. I. M. E. ) held at Montecatini Terme, Italy, June 20-28, 1988.
Auflage 1990.
Paperback.
Sprache: Englisch.
Herausgegeben von Piergiorgio Odifreddi
Springer Berlin Heidelberg

17. Juli 1990 - kartoniert - 176 Seiten

Beschreibung

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

Inhaltsverzeichnis

The isomorphism conjecture and its generalizations.
Some lectures on intuitionistic logic.
Making computers safe for the world: An introduction to proofs of programs part I.
Prolog Programming.
A guide to polymorphic types.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Sicher & bequem bezahlen:
Bleiben Sie in Kontakt:
Hugendubel App
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

11 Bestellungen ins Ausland und der DHL-Paketversand sind von der kostenfreien Lieferung ausgeschlossen.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.

*** Gilt für Bestellungen auf Hugendubel.de. Von dem verlängerten Rückgaberecht ausgeschlossen sind eBooks, Hörbuch Downloads, tolino select, das Leseglück-Abo, die eKidz.eu Apps sowie phase6 Apps. Das gesetzliche Widerrufsrecht bleibt hiervon unberührt.