Media type: Book Title: Mechanization of reasoning in a historical perspective Contributor: Marciszewski, Witold [Author]; Murawski, Roman [Author] Published: Amsterdam [u.a.]: Rodopi, 1995 Published in: Poznań studies in the philosophy of the sciences and the humanities ; 43 Extent: 267 S Language: English ISBN: 9051837909 RVK notation: CC 2000 : Geschichte der Logik Keywords: Beweisführung > Deduktion Origination: Footnote: Literaturverz. S. 231 - 252
Central Library – stack Shelf-mark: R2017 8 16648 Item ID: 30289016 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.