Search results for: Girard, Jean-Yves

Showing 1 - 6 results of 6 Refine Results
  1. 1

    Proof theory and logical complexity

    Authors: Girard, Jean-Yves
    Published: Bibliopolis, 1987
    Physical Description: volumes ; 25 cm.
    Book
  2. 2

    Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture

    Authors: Girard, Jean-Yves
    Published: Państwowe Wydawn. Naukowe, 1976
    Physical Description: 49 pages ; 24 cm.
    Book
  3. 3

    Proofs and types

    Authors: Girard, Jean-Yves
    Published: Cambridge University Press, 1989
    Physical Description: xi, 176 pages ; 26 cm.
    Book
  4. 4

    Linear logic

    Published: Cambridge University Press, 1995
    Other Authors: “…Girard, Jean-Yves…”
    Physical Description: vi, 389 pages : illustrations ; 23 cm.
    Conference Proceeding Book
  5. 5

    Advances in linear logic

    Published: Cambridge University Press, 1995
    Other Authors: “…Girard, Jean-Yves…”
    Physical Description: 1 online resource (vi, 389 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  6. 6

    Advances in linear logic

    Published: Cambridge University Press, 1995
    Other Authors: “…Girard, Jean-Yves…”
    EBSCO eBooks: 1995 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1995 (EBSCO)
    Electronic Conference Proceeding eBook