Investigations in the foundations of set theory I
USA
Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
Universal Closure
Universal Instantiation
Unix
Upward Löwenheim-Skolem Theorem
undemonstrated
underlined
uniform substitution
universal
unproven
unquantified
user