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
  • A transfinite type theory with...
  • 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

A transfinite type theory with type variables

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Andrews, P. B. (Peter Bruce), 1937-
Format: Electronic eBook
Language:Inglés
Published: Amsterdam, North-Holland Pub. Co., 1965.
Series:Studies in logic and the foundations of mathematics.
Subjects:
Type theory.
Th�eorie des types.
Type theory
Logica.
Logica Matematica.
Online Access:Texto completo
Texto completo
Texto completo
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Items no disponibles

Holdings details from

Similar Items

  • Categorical logic and type theory /
    by: Jacobs, Bart
    Published: (1999)
  • Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
    Published: (1998)
  • Twenty Five Years of Constructive Type Theory.
    by: Sambin, Giovanni
    Published: (1998)
  • The Theory of Logical Types (Routledge Revivals).
    by: Copi, Irving M.
    Published: (2011)
  • Classification theory and the number of non-isomorphic models /
    by: Shelah, Saharon
    Published: (1990)

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_abovjbpkmia14e61ru3ukmtcsj