Vol-2012⫷ Vol-2013 ⫸Vol-2014
urn:nbn:de:0074-2013-0


Vol-2013/paper18⫷Vol-2013/paper19⫸Vol-2013/paper20
Christoph Wernhard

Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract)