Home Advanced Search

Advanced Search - Page 1

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
  • PDF
  • English
  • Year: 1977
  • Author: Michael Makkai, Gonzalo E. Reyes (auth.)
Models for Smooth Infinitesimal Analysis
  • PDF
  • English
  • Year: 1991
  • Author: Ieke Moerdijk, Gonzalo E. Reyes (auth.)
Models for smooth infinitesimal analysis
  • DJVU
  • English
  • Year: 1991
  • Author: Ieke Moerdijk, Gonzalo E. Reyes
The logical foundations of cognition
  • DJVU
  • English
  • Year: 1994
  • Author: Macnamara J.; Reyes, Gonzalo E (eds.)
Duality and Definability in First Order Logic
  • PDF
  • English
  • Year: 1993
  • Author: Michael Makkai
Duality and Definability in First Order Logic
  • DJVU
  • English
  • Year: 1993
  • Author: Michael Makkai
Accessible Categories: The Foundations of Categorical Model Theory
  • DJVU
  • English
  • Year: 1989
  • Author: Michael Makkai, Robert Pare (ed.)