Colgate University

- MATH 112 Calculus II (Moodle)
- MATH 111 Calculus I (Moodle)

- Advanced Logic
- Universal Algebra
- Independent Study
- Differential Equations
- Linear Algebra
- Calculus 1 with Biological Applications
- Precalculus Mathematics
- Probability and Statistics
- Finite Mathematics for Business and Economics
- Spirit and Uses of Mathematics 1 & 2
- Quantitative Reasoning and Mathematical Skills

- A.L. Mann, G. Sandu, and M. Sevenster.
Independence-Friendly Logic: A Game-Theoretic Approach.
London Mathematical Society Lecture Note Series (386),
Cambridge University Press,
2011.

- Reviewed in the Bulletin of Symbolic Logic
- Reviewed in Mathematical Reviews (MR2807973)

- P. Galliani and A.L. Mann.
Lottery semantics:
A compositional semantics for probabilistic first-order logic with imperfect information.
*Studia Logica*, 101:293–322, 2013. - A.L. Mann.
Independence-friendly cylindric set algebras.
*Logic Journal of IGPL*, 17:719–754, 2009. - A.L. Mann.
Perfect IFG-formulas.
*Logica Universalis*2:265–275, 2008.

- A.L. Mann.
Cylindric set algebras and IF logic.
In H. Andréka, M. Ferenczi, and I. Németi, editors,
*Cylindric-Like Algebras and Algebraic Logic*, Bolyai Society Mathematical Studies (22), Springer, 2013.

- P. Galliani and A.L. Mann.
Lottery semantics.
In J. Kontinen and J. Väänänen, editors,
*Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic*, pages 30–54, Copenhagen, Denmark, August 16–20, 2010.

- Independence-Friendly Cylindric Set Algebras (J. Donald Monk)

- A Case Study in Automated Theorem Proving: Otter and EQP (J. Donald Monk)