Logic List Mailing Archive

new book: Advances in Proof Theory, Dedicated to the 60th birthday of Gerhard Jaeger

Advances in Proof Theory. Editors: R. Kahle, Th. Strahm, and Th. Studer 
(Progress in Computer Science and Applied Logic, vol. 28, Birkhäuser, 2016).

Dedicated to the 60th birthday of Professor Gerhard Jäger.

With contributions by W. Buchholz; A. Cantini; F. Ciraulo, D. Rinaldi, and P. 
Schuster; J. Cook and M. Rathjen; J. E. Dawson, R. Goré, and J. Wu; R. 
Dyckhoff; S. Feferman; P. Minari; W. Pohlers; P. Schroeder-Heister; H. 
Schwichtenberg, M. Seisenberger, and F. Wiesnet; A. Setzer; and S. S. Wainer.

http://www.springer.com/us/book/9783319291963

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam