0
Herman Ruge Jervell has written:
'On Skolem and Herbrand theorems for intuitionistic logic' -- subject(s): Intuitionistic mathematics, Predicate calculus
'Herbrand and Skolem theorems in infinitary languages' -- subject(s): Infinitary languages
'An Herebrand [i.e. Herbrand] theorem for higher order logic' -- subject(s): Predicate calculus
What else can I help you with?
What has the author W Ruge written?
W. Ruge has written: 'Novemberrevolution'
What has the author John W Ruge written?
John W. Ruge has written: 'A nonlinear multigrid solver for an atmospheric general circulation model based on semi-implicit semi-Lagrangian advection of potential vorticity' -- subject(s): Atmospheric general circulation models, Lagrangian function, Vorticity
When did Otto Ruge die?
Otto Ruge died in 1961.
When did Georg Ruge die?
Georg Ruge died in 1919.
When was Georg Ruge born?
Georg Ruge was born in 1852.
How tall is Aaron Ruge?
Aaron Ruge is 6' 1".
When was Willi Ruge born?
Willi Ruge was born in 1882.
What is Arnold Ruge's birthday?
Arnold Ruge was born on September 13, 1802.
When was Arnold Ruge born?
Arnold Ruge was born on September 13, 1802.
When did Carl Arnold Ruge die?
Carl Arnold Ruge died in 1926.
When was Carl Arnold Ruge born?
Carl Arnold Ruge was born in 1846.
When was Friedrich Ruge born?
Friedrich Ruge was born on 1894-12-24.
