Skip to content
MSU Libraries
Catalog
Feedback
Catalog
Articles & More
All
Digital Repository
Search
Catalog
-- Title
-- Journal Title
-- Newspaper Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- Publisher
-- OCLC Number
-- Series
-- Genre
-- Tag
-- Browse: By Subject
-- Browse: By Author
-- Browse: By Title
-- Browse: By Call Number
-- Browse: By Series
Articles & More
-- Title
-- Author
-- Subject
All
-- Title
-- Author
-- Subject
for
Search
Advanced
Search Tips
Email Record:
Proof theory and logical complexity / Jean-Yves Girard.
To:
From:
Message:
CAPTCHA:
