- "U" or
semicircle shaped,
usually without a lid.
Stretch kreisels are a "double gyre"
kreisel design,
where the tank
length is at
least twice the height...
-
Georg Kreisel FRS (September 15, 1923 –
March 1, 2015) was an Austrian-born
mathematical logician who
studied and
worked in the
United Kingdom and America...
-
Kreisel is a surname.
Notable people with the
surname include:
Franz Kreisel (1890-1960),
hockey Georg Kreisel (1923-2015),
logician Henry Kreisel (1922-1991)...
- Lutz
Kreisel (born 1927) in Saxony, Germany, is a
German set designer. He was the
chief stage designer at the
Mecklenburg State Theatre from 1971-2015...
-
Henry Kreisel, OC (June 5, 1922 –
April 22, 1991) was a
Canadian writer of
novels and
essays and a
professor of literature.
Kreisel was born in Vienna...
- The
Steglitzer Kreisel is a
building complex with a high-rise
building from the 1970s in the
Berlin district of
Steglitz in the
southern area of Schloßstraße...
-
Howard "Haim"
Kreisel is a
professor of
medieval Jewish philosophy in the
department of
Jewish Thought at Ben-Gurion
University of the
Negev (emeritus)...
- 1950 novelist,
short stories People Like Us in a
Place Like This
Henry Kreisel 1922 1991
novelist The Rich Man
Aaron Kreuter poet,
short stories You and...
-
Hanns Kreisel (16 July 1931 – 18
January 2017) was a
German mycologist and
professor emeritus. He was born in
Leipzig in 1931.
Kreisel was a professor...
- (SL): = IPC + ((¬¬p → p) → (p ∨ ¬p)) → (¬¬p ∨ ¬p) (a
conditional WPEM)
Kreisel–Putnam
logic (KP): = IPC + (¬p → (q ∨ r)) → ((¬p → q) ∨ (¬p → r)) (the...
