Skip to content
book: Logic, Construction, Computation
Licensed Unlicensed Requires Authentication Published by De Gruyter 2012

Logic, Construction, Computation

  • Edited by: Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger
Volume 3 in the series Ontos Mathematical Logic