Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Logic and Computer Science - Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held... 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 (Paperback, 1990 ed.)
Steven Homer; Edited by Piergiorgio Odifreddi; Anil Nerode, Richard A. Platek, Gerald E. Sacks, …
R1,088 Discovery Miles 10 880
Add to cart
Ships in 18 - 22 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Imtiaz Sooliman And The Gift Of The Givers - A Mercy To All (Paperback, Expanded 2nd Edition): Shafiq Morton
Imtiaz Sooliman And The Gift Of The…
Shafiq Morton Paperback  (1)
 R360 R332 Discovery Miles 3 320
The Curse Of Teko Modise (Paperback): Nikolaos Kirkinis
The Curse Of Teko Modise
Nikolaos Kirkinis Paperback  (2)
 R250 R231 Discovery Miles 2 310
Closing The Gap - The Fourth Industrial Revolution In Africa (Paperback): Tshilidzi Marwala
Closing The Gap - The Fourth Industrial…
Tshilidzi Marwala Paperback R559 Discovery Miles 5 590
Light Through The Bars - Understanding And Rethinking South Africa's Prisons (Paperback): Babychan Arackathara
Light Through The Bars - Understanding…
Babychan Arackathara Paperback R30 R28 Discovery Miles 280
A History Lover's Guide to Houston (Paperback): Tristan Smith
A History Lover's Guide to Houston
Tristan Smith Paperback R525 R495 Discovery Miles 4 950
Nicole - The True Story Of A Great White Shark's Journey Into History (Paperback): Richard Peirce
Nicole - The True Story Of A Great White…
Richard Peirce Paperback  (1)
 R189 Discovery Miles 1 890
Las Villas of Plattekill and Ulster County (Paperback): Ismael Martinez
Las Villas of Plattekill and Ulster…
Ismael Martinez Paperback R553 R507 Discovery Miles 5 070
What Makes Them Great? - 50 Ways To Become The Industry Leader (Paperback): Douglas Kruger
What Makes Them Great? - 50 Ways To…
Douglas Kruger Paperback R273 Discovery Miles 2 730
The Longest March (Paperback): Fred Khumalo
The Longest March
Fred Khumalo Paperback R280 R221 Discovery Miles 2 210
Simply Ladies Sing the Blues (CD): Various Artists
Simply Ladies Sing the Blues
Various Artists CD R131 Discovery Miles 1 310

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners