Education
  • Inicio
    • Acceso
  • Novedades
    • Enero 2025
    • Febrero 2025
    • Marzo 2025
    • Abril 2025
    • Mayo 2025
    • Junio 2025
    • Julio 2025
    • Agosto 2024
    • Septiembre 2024
    • Octubre 2024
    • Noviembre 2024
    • Diciembre 2024
  • Obras de consulta
    • Obras de consulta: A
    • O. de Consulta: B - C
    • Obras de Consulta: D
    • Obras de Consulta: E
    • Obras de Consulta: F - I
    • Obras de Consulta: J - M
    • O. de Consulta: N - O
    • Obras de Consulta: R - S
    • O. de Consulta: T - Z
  • Series
    • S. Monográficas: A - B
    • S. Monográficas: C - D
    • S. Monográficas: E - F
    • S. Monográficas: G - I
    • S. Monográficas: J - M
    • S. Monográficas: N - Z
  • Revistas impresas
  • Revistas electrónicas
  • Está aquí:  
  • Inicio
  • Series
  • S. Monográficas: J - M
  • Lectures notes in mathematics
  • Vol. 0718

Vol. 718. Ferrante, Jeanne; Rackoff, Charles, W. 
The Computational Complexity of Logical Theories 
QA9.35 F47

  • Artículo anterior: Vol. 0719 Anterior
  • Artículo siguiente: Vol. 0717 Siguiente
  • Inicio
    • Acceso
  • Novedades
    • Enero 2025
    • Febrero 2025
    • Marzo 2025
    • Abril 2025
    • Mayo 2025
    • Junio 2025
    • Julio 2025
    • Agosto 2024
    • Septiembre 2024
    • Octubre 2024
    • Noviembre 2024
    • Diciembre 2024
  • Obras de consulta
    • Obras de consulta: A
    • O. de Consulta: B - C
    • Obras de Consulta: D
    • Obras de Consulta: E
    • Obras de Consulta: F - I
    • Obras de Consulta: J - M
    • O. de Consulta: N - O
    • Obras de Consulta: R - S
    • O. de Consulta: T - Z
  • Series
    • S. Monográficas: A - B
    • S. Monográficas: C - D
    • S. Monográficas: E - F
    • S. Monográficas: G - I
    • S. Monográficas: J - M
    • S. Monográficas: N - Z
  • Revistas impresas
  • Revistas electrónicas