author = { Beckmann, Arnold AND Razafindrakoto, Jean-José },

title = { Logic, Language, Information, and Computation: Total Search Problems in Bounded Arithmetic and Improved Witnessing },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2017},

url = { http://slubdd.de/katalog?TN_libero_mab2 }