scientific article; zbMATH DE number 69312

zbMATH Open0757.01022MaRDI QIDQ4014779FDOQ4014779

Authors: Jean-Yves Girard 

Publication date: 26 October 1992

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cited In (1)

• Jean van Heijenoort's contributions to proof theory and its history

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4014779)