<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-04-18 15:53:15Algebraic logic Quantification Universal quantification Function Lambda calculus Heyting algebra Boolean algebra Mathematics Mathematical logic Logic |
| First Page | Document Content | |
|---|---|---|
Date: 2007-04-18 15:53:15Algebraic logic Quantification Universal quantification Function Lambda calculus Heyting algebra Boolean algebra Mathematics Mathematical logic Logic |
