Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM (Q3096993)

From MaRDI portal





scientific article; zbMATH DE number 5972160
Language Label Description Also known as
default for all languages
No label defined
    English
    Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
    scientific article; zbMATH DE number 5972160

      Statements

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references