Existential graphs and dynamic predicate logic

Harmen van den Berg

    Research output: Book/Report › Report › Professional

    Original languageEnglish
    PublisherUniversity of Twente
    Number of pages15
    Publication statusPublished - 1994

    Publication series

    NameMemorandum Faculty of Mathematical Sciences
    No.1227

    Keywords

    • METIS-142705

    Cite this