%0 Thesis %1 phd/dnb/Doben90 %A Döben, Gerd %D 1990 %I Lang %K %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 = {2023-12-12T23:37:58.000+0100}, author = {Döben, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/29e26f8279a761f38bc08686f39ea9f0d/admin}, ee = {http://d-nb.info/900610204}, interhash = {582552807eab8a9a84fb4cd26f09195a}, intrahash = {9e26f8279a761f38bc08686f39ea9f0d}, isbn = {978-3-631-42851-1}, keywords = {}, pages = {1-241}, publisher = {Lang}, school = {Ludwig Maximilian University of Munich, Germany}, timestamp = {2023-12-12T23:37:58.000+0100}, title = {Nichttheoreme: eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen.}, year = 1990 }