A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Leblanc, Hugues, A Simplified Strong Completeness Proof for QC= (1968) |
| Leblanc, Léon, Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres plyadiques (1966) |
| Leggett, Anne ; Shore, Richard A., Types of Simple $\alpha$-Recursively Enumerable Sets (1975) |
| Lehrberger, John, Functor Analysis of Natural Language (1971) |
| Leivant, Daniel, Failure of Completeness Properties of Intuitionistic Predicate Logic for Constructive Models (1976) |
| Lejewski, Czesław, Proper Names |
| Lejewski, Czesław, A Contribution to Leśniewski's Mereology (1955) |
| Lejewski, Czesław, Zu Leśniewskis Ontologie (1958) |
| Lemmon, E. J., On Sentences Verifiable by their Use |
| Lemmon, E. J., Extension Algebras and the Modal System T (1960) |