Cálculo secuencial Lambek para programación lógica

  1. Sarabia Álvarez-Ude, Jaime
Libro:
Perspectivas actuales de lógica y filosofía de la ciencia
  1. García-Bermejo Ochoa, Juan Carlos (ed. lit.)
  2. Rivadulla Rodríguez, Andrés (ed. lit.)
  3. Urrutia, J. (ed. lit.)
  4. Zofío Prieto, José Luis (ed. lit.)
  5. Bustos, Eduardo (ed. lit.)
  6. Pérez Sedeño, Eulalia (ed. lit.)

Editorial: Siglo XXI de España

ISBN: 84-323-0857-9

Año de publicación: 1994

Páginas: 193-202

Tipo: Capítulo de Libro