Lebesgue`s Dominated Convergence Theorem in Bishop`s Style
Least and greatest fixed points in Ludics, CSL 2015, Berlin.
Least and greatest fixed points in linear logic
LCD_5
Laserprogrammeeritav loogika.
Large cardinals and the Continuum Hypothesis
Language, proof, and logic
Language, Proof and Logic
Language of Logic 1-2B - Winterrowd-math
Labelled Deductive Systems
Labeled Natural Deduction for Temporal Logics
Label-free Modular Systems for Classical and Intuitionistic Modal
Label-free Modular Systems for Classical and Intuitionistic Modal
L11
L-spaces and the P
Kurt Gödel and His Theorems
KURT GÖDEL - National Academy of Sciences
KRIPKE-PLATEK SET THEORY AND THE ANTI
Kripke Semantics for Basic Sequent Systems
Kripke Models of Transfinite Provability Logic
