E-mail:
Keywords: combinatory logic, lambda calculus, sequent calculus, set theory, proof theory
UDC: 510.1:517.12

Subject:

mathematical logic and foundations

Main publications:

1. Kuzichev A. S., Venn diagrams, Nauka, Moscow, 1968

Publications in Math-Net.Ru

Personal pages:

• 
• 
• ISTINA

Organisations:

• Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
• Lomonosov Moscow State University