CATEGORICAL GEOMETRY                                                                                CLONE THEORY AND ALGEBRAIC LOGIC

Zhohua Luo

Clones and Genoids

             
 

Recursive Theory

1>0

Lambda Calculus

0<1

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
pdf  
6. Clone Theory and Algebraic Logic pdf  
7. Algebraic Logic, I
    Quantifier Theories and Completeness Theorems
pdf  
     

Online Lambda Books

   

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

Created: Dec 1 2007
Comments to: zluo@algebraic.net
Copyright 2007  by Zhaohua Luo  All rights reserved

1> 0 <1