%0 Thesis %1 phd/dnb/Doben90 %A Döben, Gerd %D 1990 %I Lang %K dblp %P 1-241 %T Nichttheoreme: eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen. %@ 978-3-631-42851-1

@phdthesis{phd/dnb/Doben90, added-at = {2021-07-17T00:00:00.000+0200}, author = {Döben, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/29e26f8279a761f38bc08686f39ea9f0d/dblp}, ee = {https://d-nb.info/900610204}, interhash = {582552807eab8a9a84fb4cd26f09195a}, intrahash = {9e26f8279a761f38bc08686f39ea9f0d}, isbn = {978-3-631-42851-1}, keywords = {dblp}, pages = {1-241}, publisher = {Lang}, school = {Ludwig Maximilian University of Munich, Germany}, timestamp = {2024-04-09T08:39:11.000+0200}, title = {Nichttheoreme: eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen.}, year = 1990 }