Skip recommendations

Association for Symbolic Logic

La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial. Reconocido a nivel mundial en el campo de la teoría de modelos, fue fundado en 1936, un año crucial en el desarrollo de la lógica moderna, y su primer presidente fue Alonzo Church. Su presidente actual es Penelope Maddy. proporcionado por Wikipedia
Mostrando 1 - 11 Resultados de 11 Para Buscar 'Association for Symbolic Logic', tiempo de consulta: 0.05s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Lectures on infinitary model theory /
    por Marker, D. (David), 1958-
    Publicado 2016
    “…Association for Symbolic Logic…”
    Texto completo
    Electrónico eBook
  2. 2
    Model Theoretic Methods in Finite Combinatorics
    por Grohe, Martin
    Publicado 2011
    “…Association for Symbolic Logic…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  3. 3
    Logic Colloquium 2007 /
    Publicado 2010
    Texto completo
    Electrónico Congresos, conferencias eBook
  4. 4
    Subsystems of second order arithmetic /
    “…Association for Symbolic Logic…”
    Texto completo
    Electrónico eBook
  5. 5
    Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
    Publicado 2007
    Texto completo
    Electrónico Congresos, conferencias eBook
  6. 6
    Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
    Publicado 1999
    Texto completo
    Electrónico Congresos, conferencias eBook
  7. 7
    Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
    Publicado 1999
    Texto completo
    Electrónico Congresos, conferencias eBook
  8. 8
    Proceedings of the Second Scandinavian Logic Symposium
    Publicado 1971
    Texto completo
    Texto completo
    Texto completo
    Electrónico Congresos, conferencias eBook
  9. 9
    Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
    Publicado 1982
    Texto completo
    Texto completo
    Texto completo
    Electrónico Congresos, conferencias eBook
  10. 10
    Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
    Publicado 1973
    Texto completo
    Texto completo
    Texto completo
    Electrónico Congresos, conferencias eBook
  11. 11
    The theory of models proceedings.
    Publicado 1965
    Texto completo
    Electrónico Congresos, conferencias eBook