Name: logic and computer science (en Inglés)
Price: 616.17 MXN
Availability: InStock
Author: scedrov,sacks,platek,nerode,homer
ISBN: 9783540527343

Selecciona tu país

América

Europa

Resto del mundo

portada logic and computer science (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

scedrov,sacks,platek,nerode,homer

Idioma

Inglés

N° páginas

162

ISBN

3540527346

ISBN13

9783540527343

Categorías

Lógica matemática

logic and computer science (en Inglés)

Scedrov,Sacks,Platek,Nerode,Homer (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 21 a 27 días háb.

$ 1,232.34$ 616.17

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 616.17

¡Envío Gratis! Llega entre el 11 Ago y el 20 Ago a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "logic and computer science (en Inglés)"

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.