Nichttheoreme. Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen

	Autor: Gerd Döben Verlag: Broschiert Auflage: Seiten: 272 ISBN-10: 3-631-42851-0 ISBN-13: 978-3-631-42851-1 ISBN: 3631428510 Preis: Preis und Verfügbarkeit anzeigen weitere Infos | Rezensionen | kaufen