Content deleted Content added
m →Family and early life: either where or there is redundant. use either, but not both. |
→Articles: 10.1007/bf02759735 |
||
Line 127:
* {{cite journal|last1=Huber-Dyson|first1=Verena|last2=Kreisel|first2=Georg|title=Analysis of Beth’s Semantic Construction of Intuitionistic Logic|journal=Stanford Research Report|date=1961|volume=3}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=On the Decision Problem for Theories of Finite Models|journal=Israel Journal of Mathematics|date=1964|volume=2|issue=1|doi=10.1007/bf02759735}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=Strong representability of Number-Theoretic Functions,|journal=Hughes Aircraft Report|date=1965}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=On the Decision Problem for Extensions of a Decidable Theory|journal=Fundamenta Mathematica|date=1969|volume=64}}
| |||