Poster

Wednesday, December 10, 20144:50 pmModels of PAGC 6300

Bounded Second-Order Arithmetic II

Shlomo Ben-Har

GC CUNY

Shlomo Ben-Har