To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Herbrand confluence for f… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Herbrand confluence for first-order proofs with Π2-cuts

Chapter in book
Authors Bahareh Afshari
Stefan Hetzl
Graham E. Leigh
Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.)
Pages 5-40
ISBN 978-1-5015-0262-0
Publisher De Gruyter
Place of publication Boston
Publication year 2016
Published at
Pages 5-40
Language en
Keywords Mathematical Logic, Formal Language Theory, First-order Logic, Cut-elimination
Subject categories Mathematical logic
Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
http://www.gu.se/english/research/publication/?publicationId=241472
Utskriftsdatum: 2019-11-17