Skip to content

UAM Iztapalapa 50 años

Login
  • 0 items (Full)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Language
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Advanced
  • Proceedings of the Herbrand sy...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Add to Book Bag Remove from Book Bag
  • Permanent link
Loading…
Preview
Preview
Preview

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: Logic Colloquium Marseille, France
Other Authors: Stern, Jacques, 1949-, Herbrand, Jacques, 1908-1931
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
Series:Studies in logic and the foundations of mathematics ; v. 107.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
Logic, Symbolic and mathematical
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Online Access:Texto completo
Texto completo
Texto completo
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Holdings details from

Similar Items

  • Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
    Published: (1987)
  • Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
    Published: (1989)
  • Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
    Published: (1968)
  • Realizability : an introduction to its categorical side /
    by: Oosten, Jaap van
    Published: (2008)
  • Mathematical interpretation of formal systems
    Published: (1955)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Search History
  • Catálogo Anterior

¿Necesitas ayuda?

  • Search Tips
  • Ask a Librarian
  • FAQs

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_q9363r5u54vjmp40pic7o54os5