IT Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures … by Martin-Löf, Per fromStudies in Proof Theory 0 Type: Book
TI The incompleteness phenomenon: a new course in mathematical logic by Goldstern, Martin, Judah, Haim 0 Type: Book
SF Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and fo… by Plato, Jan von fromSources and studies in the history of mathematics and physi… 0 Type: Book
TF Theories for admissible sets: a unifying approach to proof theory by Jäger, Gerhard fromStudies in proof theory ; lecture notes 0 Type: Book
PT Proof theory of impredicative subsystems of analysis by Buchholz, Wilfried, Schütte, Kurt fromStudies in proof theory, Monographs 0 Type: Book
MI Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevič fromTranslations of mathematical monographs 0 Type: Book
SS Software Systems Safety by Seidl, Helmut, (informaticien), Grumberg, Orna, Irlbeck, Maximilian fromNATO science for peace and security series 0 Type: Book
SL Statistical learning with sparsity: the lasso and generalizations by Tibshirani, Robert, Hastie, Trevor, Wainwright, Martin fromMonographs on statistics and applied probability 0 Type: Book
SP Selected papers in proof theory by Minc, Grigorij E. fromStudies in proof theory, Monographs 0 Type: Book
TG The great formal machinery works: theories of deduction and computation at the orig… by Plato, Jan von 0 Type: Book
