Logic and Computer Science: Lectures (Lecture Notes in Mathematics)

Homer, S., Platek, R. A., Scedrov, A., Nerode, A., Sacks, Gerald E.

ISBN 10: 0387527346 ISBN 13: 9780387527345

Published by Springer Verlag (edition ), 1990

Used Paperback

From BooksRun, Philadelphia, PA, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since 2 February 2016

This specific copy is no longer available. Here are our closest matches for Logic and Computer Science: Lectures (Lecture Notes in Mathematics).

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0387527346-7-1

Report this item

Synopsis:

Logic and Computer Science 1988 The courses given at the 1st CIME 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. Full description

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Logic and Computer Science: Lectures (...
Publisher: Springer Verlag (edition )
Publication Date: 1990
Binding: Paperback
Condition: Fair

Top Search Results from the AbeBooks Marketplace

Seller Image

LOGIC AND COMPUTER SCIENCE Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme 1988 (Lecture Notes in Mathematics 1429)

HOMER Steven, NERODE Anil, PLATEK Richard A., SACKS Gerald E., SCEDROV Andre, ODIFREDDI Piergiorgio [Editor]

Published by Springer, 1990. 9783540527343, 1990

ISBN 10: 3540527346 ISBN 13: 9783540527343

Used Softcover

Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United Kingdom

Seller rating 5 out of 5 stars

8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper). Seller Inventory # 185809

Contact seller