Education
  • Inicio
    • Acceso
  • Novedades
    • Enero 2025
    • Febrero 2025
    • Marzo 2025
    • Abril 2025
    • Mayo 2025
    • Junio 2024
    • Julio 2024
    • 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. 0500

Vol. 500. Diller, J.; Muller, G. H. (Eds.)
⊨ISILC Proof Theory Symposion
QA9 A115 1974

  • Artículo anterior: Vol. 0501 Anterior
  • Artículo siguiente: Vol. 0499 Siguiente
  • Inicio
    • Acceso
  • Novedades
    • Enero 2025
    • Febrero 2025
    • Marzo 2025
    • Abril 2025
    • Mayo 2025
    • Junio 2024
    • Julio 2024
    • 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