Group of Logic

Institute of Mathematics
University of Warsaw