Beyond first order logic: From number of structures to structure of numbers

Detalles Bibliográficos
Autores: Baldwin, John T., Hyttinen, Tapani, Kesälä, Meeri
Tipo de recurso: artículo
Fecha de publicación:2010
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:76059
Acceso en línea:https://ddd.uab.cat/record/76059
Access Level:acceso abierto
Palabra clave:Amalgamació
Models, Teoria dels
Llenguatges infinitaris
Descripción
Descripción no disponible.