Search filters

List of works by Konrad Zdanowski

Collapsing modular counting in bounded arithmetic and constant depth propositional proofs

scientific article published in 2015

Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics

scientific article published in 2011

The Polish School of Argumentation: A Manifesto

Theories of arithmetics in finite models

scientific article published in March 2005

Paulina is supported by:

About Paulina

Help