Proofs and types /

Proofs and types /

41

מידע ביבליוגרפי
Main Authors: 291662 Girard, Jean-Yves, Taylor, Paul, Lafont, Yves
פורמט:
יצא לאור: Cambridge : Cambridge University Press, 1989
נושאים:
Proof theory
Logic, Symbolic and mathematical

פריטים דומים