The following text field will produce suggestions that follow it as you type.

Home

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 / Edition 1

Barnes and Noble

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 / Edition 1

Current price: $39.95
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 / Edition 1
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 / Edition 1

Barnes and Noble

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 / Edition 1

Current price: $39.95

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.

You May Also Like

Mathematical Economics: Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 25 - July 3, 1986
Loading Inventory...
Mathematical Economics: Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 25 - July 3, 1986
Barnes & Noble
Current price: $39.95
Geometric Topology: Recent Developments: Lectures given on the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Monteca- tini Terme, Italy, June 4-12, 1990 / Edition 1
Loading Inventory...
Geometric Topology: Recent Developments: Lectures given on the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Monteca- tini Terme, Italy, June 4-12, 1990 / Edition 1
Barnes & Noble
Current price: $39.95
Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981 / Edition 1
Loading Inventory...
Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981 / Edition 1
Barnes & Noble
Current price: $46.00
Computational Mathematics Driven by Industrial Problems: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 / Edition 1
Loading Inventory...
Computational Mathematics Driven by Industrial Problems: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 / Edition 1
Barnes & Noble
Current price: $54.99
Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.). Held at Varenna, Italy, August 22 - September 1, 1982 / Edition 1
Loading Inventory...
Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.). Held at Varenna, Italy, August 22 - September 1, 1982 / Edition 1
Barnes & Noble
Current price: $26.00
Nonequilibrium Problems in Many-Particle Systems: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / Edition 1
Loading Inventory...
Nonequilibrium Problems in Many-Particle Systems: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / Edition 1
Barnes & Noble
Current price: $39.95
Topologia: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 26-September 3, 1955
Loading Inventory...
Topologia: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 26-September 3, 1955
Barnes & Noble
Current price: $29.95
Stochastic PDE's and Kolmogorov Equations in Infinite Dimensions: Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)held in Cetraro, Italy, August 24 - September 1, 1998 / Edition 1
Loading Inventory...
Stochastic PDE's and Kolmogorov Equations in Infinite Dimensions: Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)held in Cetraro, Italy, August 24 - September 1, 1998 / Edition 1
Barnes & Noble
Current price: $50.00
Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983 / Edition 1
Loading Inventory...
Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983 / Edition 1
Barnes & Noble
Current price: $59.95
Potential Theory: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Stresa (Varese), Italy, July 2-10, 1969 / Edition 1
Loading Inventory...
Potential Theory: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Stresa (Varese), Italy, July 2-10, 1969 / Edition 1
Barnes & Noble
Current price: $49.95
Singularities of Analytic Spaces: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 16-25, 1974
Loading Inventory...
Singularities of Analytic Spaces: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 16-25, 1974
Barnes & Noble
Current price: $29.99
Questions on Algebraic Varieties: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 7-17, 1969
Loading Inventory...
Questions on Algebraic Varieties: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 7-17, 1969
Barnes & Noble
Current price: $49.95

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind