Schwichtenberg, H. books & textbook
Logic, Algebra, and Computation: International Summer School (NATO ASI Subseries F:)
Bauer, Friedrich L. Bauer, F.L. Brauer, W. Huet, G. Robinson, J.A. Schwichtenberg, H.
Springer /2012-01-16 Paperback / 492 Pages
isbn-10: 3642768016 / isbn-13: 9783642768019
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra, A. S. Schwichtenberg, H.
Cambridge University Press /2000-07-31 Paperback / 432 Pages
isbn-10: 0521779111 / isbn-13: 9780521779111
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences
K. Spies and H. Schwichtenberg Editors
IOS Press /2006-07-01 Hardcover / 456 Pages
isbn-10: 1586036254 / isbn-13: 9781586036256
