Refine your search
- Availability
-
Authors
- Aczel, Peter (1)
- Crossley, J. N. (1)
- Kohlenbach, U. (1)
- Laczkovich,Miklos (1)
- Szabe, M. E. (2)
- Show more
- Holding libraries
- Home libraries
-
Item types
-
Series
-
Topics
- Automated Theorem Proving (1)
- Categories (Mathematics) (2)
- Combinatory Logic (3)
- Computable functions (1)
- Curry-Howard Isomorphism (1)
- Induction (Mathematics) (1)
- Intuitionistic Mathematics (1)
- Lambda Calculus (1)
- Logic, Symbolic And Mathematical (2)
- Logic, Symbolic and mathematical (1)
- Mathematical analysis (1)
- Mathematics -- Philosophy (1)
- Modal Logic -- Congreses (1)
- Modality (Logics) (1)
- Probabilities (1)
- Proof Theory (13)
- Proof theory (7)
- Proof theory - textbooks (1)
- Proof Theory -- Cong (1)
- Proof Theory -- Congresses (1)