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

Display formulas [help]

Nash, Peter David, Reduction Theorems in Model Theory and Topology (1981)
Nash-Williams, C. St. J. A., On Well-quasi-ordering Infinite Trees
Nash-Williams, C. St. J. A., On Well-Quasi-Ordering Trees (1963)
Nash-Williams, C. St. J. A., On Better-Quasi-Ordering Transfinite Sequences (1968)
Nash-Williams, C. St. J. A., Should Axiomatic Set Theory be Translated into Graph Theory? (1976)
Nash-Williams, C. St. J. A. ; Jenkyns, T. A., Counterexamples in the Theory of Well-Quasi-Ordered Sets (1969)
Nation, James Bryant, Varieties of Algebras Whose Congruence Lattices Satisfy Lattice Identities (1973)
Neale, Stephen, Semantical Structure, Quantification, and Logical Form (1990)
Neeman, Itay, The Determinacy of Long Games (2000)
Németi, I. , The Equational Theory of Monadic-Generated Cylindric Algebras, Hence the Set of Valid Formula Schemes of Monadic Logic, is Not Recursively Enumerable (1895)