CATEGORICAL GEOMETRY                                                                                CLONE THEORY AND ALGEBRAIC LOGIC

Zhohua Luo

Clones and Genoids


Recursive Theory


Lambda Calculus


Mathematical Logic



1. Introduction html
2. Clones and Genoids (Basic Concepts) html  
3. Clones and Genoids in Lambda Calculus and First Order Logic pdf  
4. Hyperalgebras I (html)  
  II (html)  
  III (html)  
5. Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra,
    Lambda Calculus and Algebraic Logic
6. Clone Theory and Algebraic Logic pdf  
7. Algebraic Logic, I
    Quantifier Theories and Completeness Theorems

Online Lambda Books


Mathematics Books | Universal Algebra | Lambda Calculus | Logic | Category Theory

Created: Dec 1 2007
Comments to:
Copyright 2007  by Zhaohua Luo  All rights reserved

1> 0 <1