SSystems of bounded arithmetic from descriptive complexitySystems of bounded arithmetic from descriptive complexityde Antonina Kolokolova · Publicada por primera vez en 2005Ediciones (1)Systems of bounded arithmetic from descriptive complexity. (2005)inglésMás obras de Antonina KolokolovaVV-HornV-Horn2000Algorithms and Data StructuresVer todas las obras de Antonina Kolokolova →
