Nogina, Elena, Logic of Proofs with the Strong Provability Operator (1994) Nolin, L., Introduction a la Programmation des Problemes Scientifiques (1963) Nolin, L. ; Brisse, E., Le Langage Paf (1962) Norman, Robert Z. ; Roberts, Fred S., Notes on Combinatorial Mathematics: A Derivation of a Measure of Relative Balance for Signed Digraphs and a Characterization of Extensive Ratio Systems (1970) Norris, Allen, On the Theory of Value Judgments (1960) Norris, Allen, The Analog Method in Electronics (1961) Novak, I. L., A Construction for Models of Consistent Systems (1950) Novák, Vitězslav ; Schmidt, J., Direct Decompositions of Partially Ordered Sets with Zero (1970) Noyes, Pierre, The Physical Description of Elementary Particles (1957)