Search results for: Girard, Jean-Yves
Showing 1 - 6 results of 6
Refine Results
-
1
Proof theory and logical complexity
Authors: Girard, Jean-Yves
Published: Bibliopolis, 1987Physical Description: volumes ; 25 cm.Holdings: Loading…
Book Loading… -
2
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture
Authors: Girard, Jean-Yves
Published: Państwowe Wydawn. Naukowe, 1976Physical Description: 49 pages ; 24 cm.Holdings: Loading…
Book Loading… -
3
Proofs and types
Authors: Girard, Jean-Yves
Published: Cambridge University Press, 1989Physical Description: xi, 176 pages ; 26 cm.Holdings: Loading…
Book Loading… -
4
Linear logic
Published: Cambridge University Press, 1995Other Authors: “…Girard, Jean-Yves…”
Physical Description: vi, 389 pages : illustrations ; 23 cm.Holdings: Loading…
Conference Proceeding Book Loading… -
5
Advances in linear logic
Published: Cambridge University Press, 1995Other Authors: “…Girard, Jean-Yves…”
Physical Description: 1 online resource (vi, 389 pages) : digital, PDF file(s).Holdings: Loading…Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Electronic eBook -
6
Advances in linear logic
Published: Cambridge University Press, 1995Other Authors: “…Girard, Jean-Yves…”
Holdings: Loading…EBSCO eBooks: 1995 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 1995 (EBSCO)
Electronic Conference Proceeding eBook