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
How tall is Aaron Ruge?
Aaron Ruge is 6' 1".
When was Willi Ruge born?
Willi Ruge was born in 1882.
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.
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 Billy Ruge die?
Billy Ruge died in 1955, in Florida, USA.
How tall is George Marshall Ruge?
George Marshall Ruge is 6' 2".
When was Lizzie Ruge born?
Lizzie Ruge was born on July 31, 1911.
