«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Logic and Computer Science Steven Homer
Código Libristo: 01565309
Editores Springer, Berlin, noviembre 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Descripción completa
? points 69 b
28.39 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Libro Tapa blanda
common.buy 9.09 €
VOYAGE Daniele Steel / Libro Tapa blanda
common.buy 12.59 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Libro Tapa dura
common.buy 36.39 €
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / Libro electrónico Adobe ePub DRM
common.buy 4.09 €
Saint Grégoire de Nazianze Alain Durel / Libro Tapa blanda
common.buy 13.69 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Libro Tapa blanda
common.buy 39.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 170
EAN 9783540527343
ISBN 3540527346
Código Libristo 01565309
Editores Springer, Berlin
Peso 275
Dimensiones 157 x 237 x 10

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Libro Tapa blanda
common.buy 247.89 €
Changing Minds Guy Newland / Libro Tapa blanda
common.buy 34.59 €
Punch, or the London Charivari Owen Seaman / Libro Tapa blanda
common.buy 17.09 €
Thirsty Crow Jim Chansler / Libro Tapa blanda
common.buy 12.09 €
New Hemi Engine Swaps: Joe Hinds / Libro Tapa blanda
common.buy 36.49 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Libro Tapa blanda
common.buy 14.69 €
Survivors Alex Schulman / Libro Tapa blanda
common.buy 18.69 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Libro Tapa blanda
common.buy 16.09 €
The Progress of Marine Engineering Thomas Main / Libro Tapa blanda
common.buy 22.79 €
Rainbow Valley Lucy Maud Montgomery / Libro Tapa blanda
common.buy 16.39 €
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Libro Tapa blanda
common.buy 30.89 €
Those Who Call Themselves Jews Philip L Mayo / Libro Tapa dura
common.buy 50.59 €
God's Boundary Sunday Okoh / Libro Tapa blanda
common.buy 15.89 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Libro Tapa blanda
common.buy 31.79 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Libro Tapa dura
common.buy 98.79 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Artículos impresos Mapa
common.buy 14.99 €
Phonons: Theory and Experiments II Peter Brüesch / Libro Tapa blanda
common.buy 56.59 €
Introduction to Quantitative Finance Stephen Blyth / Libro Tapa blanda
common.buy 65.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?