Back to Results
First PageMeta Content
Mathematical logic / Computability theory / Mathematics / Theoretical computer science / Proof theory / Logic in computer science / Theory of computation / Second-order arithmetic / Combinatory logic / Reverse mathematics / Computable function


Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗
Add to Reading List

Document Date: 2013-04-16 05:40:26

Open Document

File Size: 467,93 KB

Share Result on Facebook