Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kolodziejczyk, Leszek - Instytut Matematyki, Uniwersytet Warszawski
The provably total NP search problems of weak second order bounded arithmetic
Truth Definitions in Finite Models Leszek Aleksander Kolodziejczyk
An Application of a Reflection Principle Zofia Adamowicz
Independence results for variants of sharply bounded induction
Well-behaved Principles Alternative to Bounded Induction
Exam in Mathematical Logic January 27, 2011
Truth definitions without exponentiation and the 1 collection scheme
A note on the 1 collection scheme and fragments of bounded arithmetic
A Finite ModelTheoretical Proof of a Property of Bounded Query Classes within
Solutions in XML Data Exchange Mikolaj Bojanczyk
Zadania z Analizy Matematycznej I semestr zimowy 2005/6, gr. 15 (L. Koodziejczyk)
Zadania z Analizy Matematycznej I semestr letni 2005/6, gr. 15 (L. Koodziejczyk)
Zadanie 1. Oblicz calke nieoznaczon a x2 + 4x + 5 dx
Mathematical Logic 2 Some information about the exam
Mathematical Logic 2 Course summary
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded
Partial Collapses of the 1 Complexity Hierarchy in Models for Fragments of Bounded
Warsaw University Faculty of Philosophy and Sociology
Mathematical Logic 2 Homework for Mar 29, 2011
The Expressive Power of Henkin Quantifiers with
The polynomial and linear hierarchies in V0 Leszek Aleksander Kolodziejczyk
The strength of sharply bounded induction requires MSP
Fragments of Approximate Counting Samuel R. Buss
