Formal methods. An introduction to symbolic logic an to the stdy of eefective operations in arithmetic and logic. (Synthese Library)
Beth, Evert W.:
Vendido por Nicoline Thieme, Leipzig, Alemania
Miembro de asociación:
Vendedor de AbeBooks desde 14 de octubre de 2002
Usado - Encuadernación de tapa dura
Condición: - keine Angabe -
Cantidad disponible: 1 disponibles
Añadir al carrito