%0 Thesis %1 phd/ca/Kolokolova05 %A Kolokolova, Antonina %D 2005 %K dblp %T Systems of bounded arithmetic from descriptive complexity.

@phdthesis{phd/ca/Kolokolova05, added-at = {2022-08-10T00:00:00.000+0200}, author = {Kolokolova, Antonina}, biburl = {https://www.bibsonomy.org/bibtex/2ac396686ca3084f847282035f1059845/dblp}, ee = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106619419706196}, interhash = {42cfffe0d3dc7db1029c3ab9b5c83274}, intrahash = {ac396686ca3084f847282035f1059845}, keywords = {dblp}, school = {University of Toronto, Canada}, timestamp = {2024-04-09T09:28:26.000+0200}, title = {Systems of bounded arithmetic from descriptive complexity.}, year = 2005 }