Formal methods. An introduction to symbolic logic an to the stdy of eefective operations in arithmetic and logic. (Synthese Library)
Beth, Evert W.:
Librería: Nicoline Thieme, Leipzig, Alemania
Calificación del vendedor: 4 de 5 estrellas
Vendedor de AbeBooks desde 14 de octubre de 2002
Usado - Encuadernación de tapa dura
Cantidad disponible: 1 disponibles
Añadir al carrito