Zum Inhalt springen

  1. Benthem, Johan van [Sonstige Person, Familie und Körperschaft]

    Language in action : categories, lambdas, and dynamic logic

    Bücher

    Amsterdam; New York; New York, N.Y., U.S.A: North-Holland, 1991 ; Online-Ausg.

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 130