Item MW0003066 - 19/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Reinhard Kahle: Combinatorial aspects of applicative theories / Thomas Strahm: Systems of explicit mathematics

Identity area

Reference code

MW0003066

Title

19/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Reinhard Kahle: Combinatorial aspects of applicative theories / Thomas Strahm: Systems of explicit mathematics

Date(s)

Level of description

Item

Extent and medium

Audio: Compact Cassette 90 Side A

Context area

Archival history

Section 1, Proof of theory & categorical logic

Immediate source of acquisition or transfer

Content and structure area

Scope and content

Appraisal, destruction and scheduling

Accruals

System of arrangement

Conditions of access and use area

Conditions governing access

Conditions governing reproduction

Language of material

  • English

Script of material

    Language and script notes

    Physical characteristics and technical requirements

    Finding aids

    Allied materials area

    Existence and location of originals

    Existence and location of copies

    Related units of description

    Related descriptions

    Notes area

    Note

    Check with Michael Wright - speakers

    Alternative identifier(s)

    Access points

    Subject access points

    Place access points

    Name access points

    Genre access points

    Description control area

    Description identifier

    Institution identifier

    Rules and/or conventions used

    Status

    Level of detail

    Dates of creation revision deletion

    Language(s)

      Script(s)

        Sources

        Accession area