Théry g ed (5 resultados)
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,08
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,12
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Editorial: Librairie Philosophique J. Vrin, Paris, 1936
- Tapa blanda
Librería: Societe des Bollandistes, Bruxelles, BelgicaSociete des Bollandistes
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 25,00
Envío por EUR 21,02Se envía de Belgica a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoSoft Cover. Condición: Good. No Jacket. 417 p. Size: 8vo - over 7¾" - 9¾" tall.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,21
Envío por EUR 17,72Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Tphols 9 (1998 Nice, France); Dowek, G. (EDT); Hirschowitz, A. (EDT); Paulin, C. (EDT); Thery, L. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Bertot, Yves (EDT); Bertot, Yves
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,05
Envío por EUR 17,72Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
