Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78) - Softcover
Synopsis
ML.- PPLAMBDA.
"synopsis" may belong to another edition of this title.
Search results for Edinburgh LCF: A Mechanized Logic of Computation (Lecture...
Stock Image
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_383104525
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
Stock Image
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020158645
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
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
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
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
Buy New
US$ 29.93
Shipping:
US$ 15.74
From United Kingdom to U.S.A.
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: New. Seller Inventory # 5907990-n
Buy New
US$ 29.92
Shipping:
US$ 19.70
From United Kingdom to U.S.A.
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
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
Buy Used
US$ 33.13
Shipping:
US$ 19.70
From United Kingdom to U.S.A.
Quantity: Over 20 available