Items related to Edinburgh LCF: A Mechanized Logic of Computation: 78...
Edinburgh LCF: A Mechanized Logic of Computation: 78 (Lecture Notes in Computer Science, 78) - Softcover
Synopsis
No Edinburgh LCF Read a customer review or write one .
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1979
- ISBN 10 3540097244
- ISBN 13 9783540097242
- BindingPaperback
- LanguageEnglish
- Number of pages169
Search results for Edinburgh LCF: A Mechanized Logic of Computation: 78...
Seller Image
Edinburgh Lcf : A Mechanized Logic of Computation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5907990-n
Quantity: Over 20 available
Stock Image
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540097242_new
Quantity: Over 20 available
Seller Image
Edinburgh Lcf : A Mechanized Logic of Computation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5907990
Quantity: Over 20 available
Seller Image
Edinburgh LCF
Published by
Springer Berlin Heidelberg Dez 1979, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ML.- PPLAMBDA. 172 pp. Englisch. Seller Inventory # 9783540097242
Quantity: 2 available
Seller Image
Edinburgh LCF : a mechanised logic of computation. Lecture notes in computer science ; 78
Published by
Berlin, Heidelberg, New York : Springer Verlag, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
Used
Broschiert
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. VIII, 159 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 300. Seller Inventory # 1706385
Quantity: 1 available
Seller Image
Edinburgh LCF : A Mechanized Logic of Computation
Published by
Springer Berlin Heidelberg, 1980
ISBN 10: 3540097244
ISBN 13: 9783540097242
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ML.- PPLAMBDA. Seller Inventory # 9783540097242
Quantity: 1 available
Stock Image
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540097242
Quantity: Over 20 available
Seller Image
Edinburgh Lcf : A Mechanized Logic of Computation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5907990-n
Quantity: Over 20 available
Seller Image
Edinburgh Lcf : A Mechanized Logic of Computation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5907990
Quantity: Over 20 available
Seller Image
Edinburgh LCF
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. ML.- PPLAMBDA.InhaltsverzeichnisML.- PPLAMBDA.KlappentextrnrnML.- PPLAMBDA.Springer Book Archives. Seller Inventory # 4880598
Quantity: Over 20 available