Cover 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, Italy, June 20-28, 1988 /

Corporate Author:	Centro Internationale Matematico Estivo. Montecatini Terme, Italy) (Session)
Other Authors:	Homer, S., Odifreddi, Piergiorgio,
Format:	Book
Language:	English
Published:	Berlin: Springer, c1990
Series:	Lecture Notes in Mathematics / Springer-Verlag ; 1429
Subjects:	Mathematics Logic, Symbolic and mathematical Programming (Mathematics) Computational complexity

Similar Items

Mathematical logic and applications: proceedings of the Logic Meeting held in Kyoto, 1987/
by: Shinoda, Juichi, 1948-
Published: (1989)

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 /
Published: (1988)

Logic year 1979-80: the University of Connecticut, USA/
Published: (1981)

Integrable systems and quantum groups : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 14-22, 1993 /
Published: (1996)

Viscosity solutions and applications : lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 12-20, 1995 /
Published: (1997)

Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, July 20-28, 1987 /
Published: (1989)

Mathematical modelling of industrial processes : lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bari, Italy, Sept. 24-29, 1990 /
Published: (1992)

Integrable systems and quantum groups: lectures given at the 1stsession of the Centro internazionale matematico estivo (C.I.M.E.) heldin Montecatini Terme, Italy, June 14-22, 1995/
Published: (1995)

Recent mathematical methods in nonlinear wave propagation : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Montecatini Terme, Italy, May 23-31, 1994 /
Published: (1996)

Relativistic fluid dynamics : lectures given at the 1st 1987 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Noto, Italy, May 25-June 3, 1987 /
Published: (1989)

Dirichlet forms: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna, Italy, June 8-19, 1992/
Published: (1993)

Term logic with choice operator/
by: Hermes, Hans
Published: (1970)

Financial mathematics: lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone, Italy, July 8-13, 1996/
Published: (1997)

Transition to chaos in classical and quantum mechanics : lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, July 6-13, 1991 /
Published: (1994)

Arithmetic algebraic geometry : lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Trento, Italy, June 24-July 2, 1991 /
Published: (1993)

Nonlinear diffusion problems : lectures given at the 2nd 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10-June 18, 1985 /
Published: (1986)

Relativistic fluid dynamics: lectures given at the 1st 1987 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Noto, Italy, May 25-June 3, 1987/
Published: (1989)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984 /
Published: (1985)

Mathematical logic and applications : Proceedings of the logic meeting, held in Kyoto, 1987 /
Published: (1989)

Logic Colloquium ʹ78 : proceedings of the colloquium held in Mons,August 1978 /
Published: (1979)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

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/
Published: (1984)

Vector bundles on curves : new directions: lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro (Cosenza), Italy, June 19-27, 1995 /
Published: (1997)

Mathematical logic in the 20th century /
Published: (2003)

Computability, complexity, logic/
by: Bo?rger, E. 1946-
Published: (1989)

Nonequilibrium problems in many-particle systems: lectures given at the 3rd Session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini, Italy, June 15-27, 1992/
Published: (1993)

Logic Colloquium ʹ77 : Proceedings of a conference held in Wroclaw, Aug. 1-12, 1977 /
Published: (1978)

Logic Colloquium ʹ76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

In the light of logic /
by: Feferman, Solomon.
Published: (1998)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Topological methods for ordinary differential equations: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.), held in Montecatini Terme, Italy, June 24-July 2, 1991/
Published: (1993)

Logic symposia : Hakone, 1979-1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)

Nonlinear diffusion problems: lectures given at the 2nd 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10-June 18, 1985/
Published: (1986)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Logic Colloquium ʹ80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Published: (1982)

Logic colloquium ʹ69 : proceedings of the Summer School and Colloquim in mathematical, logic, Manchester, August 1969 /
Published: (1971)

Cannot write session to /tmp/vufind_sessions/sess_lkvubjkhjkdqonrk40qp845mg3