• Produktbild: Logic and Computer Science
  • Produktbild: Logic and Computer Science
Band 1429

Logic and Computer Science 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

25,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.1990

Abbildungen

VI, 170 p.

Herausgeber

Piergiorgio Odifreddi

Verlag

Springer Berlin

Seitenzahl

170

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52734-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.1990

Abbildungen

VI, 170 p.

Herausgeber

Piergiorgio Odifreddi

Verlag

Springer Berlin

Seitenzahl

170

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52734-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic and Computer Science
  • Produktbild: Logic and Computer Science
  • 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.