Existential graphs and dynamic predicate logic

Harmen van den Berg

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    PublisherUniversity of Twente, Faculty of Mathematical Sciences
    Number of pages15
    Publication statusPublished - 1994

    Publication series

    NameMemorandum Faculty of Mathematical Sciences
    No.1227

    Keywords

    • METIS-142705

    Cite this

    van den Berg, H. (1994). Existential graphs and dynamic predicate logic. (Memorandum Faculty of Mathematical Sciences; No. 1227). University of Twente, Faculty of Mathematical Sciences.