Zustand: Sehr gut - Gepflegter, sauberer Zustand. Au�en: verschmutzt. Innen: Seiten vergilbt. Aus der Aufl�sung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 176 | Sprache: Englisch | Produktart: B�cher. Bestandsnummer des Verk�ufers 548069/202

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Logic and Computer Science : Lectures given ...

Verlag: Springer Berlin Heidelberg

Erscheinungsdatum: 1990

Einband: Softcover

Zustand: Sehr gut

�ber diesen Titel

Inhaltsangabe:

Book by Homer Steven Nerode Anil Platek Richard A Sacks Ge

Rese�a del editor:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Zur Homepage des Verk�ufers