fantasyguideOct 28, 2022
Ich habs ja doch noch geschafft, Dank langer Fahrten zum und vom #BuCon , den Roman #Gentzen oder: besoffen aufräumen von #DietmarDath zu Ende zu lesen und weils so befriedigend war, gibts auch eine etwas persönlichere Rezi:
https://fantasyguide.de/gentzen-oder-betrunken-aufraeumen-autor-dietmar-dath.html
Rezension Gentzen oder: Betrunken aufräumen (Autor: Dietmar Dath)

Rezension zum Science-Fiction Roman Gentzen oder: Betrunken aufräumen von Dietmar Dath

fantasyguideOct 2, 2022
Mein Exemplar von #DietmarDath 's #Gentzen oder: Betrunken aufräumen stammt aus der zweiten Auflage. Stand Seite 162 frag ich mich, wie viele Menschen das Buch wirklich durchgelesen haben.
Ich denk nicht mehr, dass ich das schaffe.
fantasyguideSep 28, 2022
"Alberne Schwalben schweben schwach magisch überm Waldstück drüben."
#DietmarDath ist schon lyrisch lustig in seinem #Kalkülroman #Gentzen oder: Betrunken aufräumen
Seite 49
nopeJul 17, 2022
An Introduction to Substrctural Logics
(2000) : Greg Restall
isbn: 0-415-21534-X
#frames #category_theory #propositional_logic #gentzen #substructural_logic #modal_logic
#my_bibtex
nopeJun 27, 2022
Systems of Logic for Necessity (Sequent Calculi and Proof Theory)
(2003) : Izumi Takeuti
url: https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/42732
#cut_elimination #gentzen #modal_logic #possible_worlds #predicate_logic #proof_theory #sequ
#my_bibtex
Kyoto University Research Information Repository: Systems of logic for necessity (Sequent Calculi and Proof Theory)