Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam...
2 KB (208 words) - 10:33, 31 January 2024
de Jongh (1605–1663), Dutch landscape painter Dick de Jongh (born 1939), Dutch logician Eddy de Jongh (born 1931), Dutch art historian Emily de Jongh-Elhage...
2 KB (322 words) - 12:38, 23 April 2024
pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Gamut stands for the Dutch universities...
2 KB (207 words) - 06:23, 12 August 2021
been made by Sergei N. Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Giovanni Sambin, Vladimir Shavrukov, Albert Visser...
3 KB (363 words) - 12:06, 25 September 2024
and Karel Lambert, "kleene", in The Philosophical Lexicon, 7th ed. (Newark, DE: American Philosophical Association, 1978), 5; and Hyperborea (blogger pseudonym)...
15 KB (1,354 words) - 22:13, 8 August 2024
interpretation was proven by Giorgi Japaridze. Giorgi Japaridze and Dick de Jongh, The Logic of Provability. In Handbook of Proof Theory, S. Buss, ed...
4 KB (610 words) - 07:04, 30 October 2024
(Portugal/Spain, 1589–1644) William Ernest Johnson (UK, 1858–1931) Dick de Jongh (Netherlands, born 1939) Bjarni Jónsson (Iceland, 1920–2016) Philip...
16 KB (1,908 words) - 17:23, 22 September 2024
PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser. She holds the chair of Logic and...
5 KB (387 words) - 09:34, 21 August 2024
Dick Bruna (born Hendrik Magdalenus Bruna, 23 August 1927 – 16 February 2017) was a Dutch author, artist, illustrator and graphic designer. Bruna was best...
13 KB (1,143 words) - 07:22, 17 September 2024
Wisconsin–Eau Claire James A. Davis, sociologist Kenneth S. Davis, historian Dick de Jongh, professor emeritus of Logic and Mathematics, University of Amsterdam...
45 KB (5,136 words) - 22:59, 22 September 2024
Realm Diana Schaub Dianoia Dicaearchus Dichotomy Dichotomy paradox Dick de Jongh Dictatorship of the proletariat Dictes and Sayings of the Philosophers...
73 KB (7,034 words) - 22:49, 18 September 2024
Incurvati Theo Janssen Dick de Jongh Michiel van Lambalgen Benedikt Löwe Remko Scha Anne Troelstra Jouko Väänänen Paul Vitányi Korteweg-de Vries Institute for...
6 KB (502 words) - 15:43, 19 October 2023
and Admissible Rules, was jointly promoted by Anne Sjerp Troelstra, Dick de Jongh, and Albert Visser. She was a postdoctoral researcher at the University...
3 KB (223 words) - 23:27, 18 January 2024
(2): 249–277, doi:10.1007/BF00370116, MR 1185914 Japaridze, Giorgi; de Jongh, Dick (1998), "The logic of provability", in Buss, Samuel R. (ed.), Handbook...
2 KB (238 words) - 21:54, 17 August 2023
113–160, doi:10.1016/0168-0072(93)90201-N, MR 1218658. Japaridze, Giorgi; de Jongh, Dick (1998), "The logic of provability", in Buss, Samuel R. (ed.), Handbook...
2 KB (191 words) - 17:54, 25 July 2024
The first De Jongh-Elhage cabinet was the 26th cabinet of the Netherlands Antilles. The cabinet was composed as follows: "New Parliament, Cabinet installed"...
8 KB (286 words) - 11:54, 21 August 2022
Igone de Jongh, 'de beste ballerina van Nederland'". Danspubliek (in Dutch). February 2012. Archived from the original on 2 May 2014. "Igone de Jongh beëindigt...
7 KB (578 words) - 07:35, 30 October 2024
Royal Shakespeare Company. In the RSC's production of King Lear, Nicholas de Jongh of the London Evening Standard claimed "Anatol Yusef's tremendous Cornwall...
13 KB (1,030 words) - 08:54, 7 May 2024
Chantal M.; Nota, Nienke M.; de Blok, Christel J.M.; Klaver, Maartje; de Vries, Annelou L.C.; Wensing-Kruger, S. Annelijn; de Jongh, Renate T.; Bouman, Mark-Bram;...
13 KB (1,337 words) - 17:47, 5 October 2024
with (assistant coaches) Dick (Muir) and (Gary) Gold very influential." During the 2019 Rugby World Cup tournament in Japan De Villiers publicly announced...
24 KB (2,772 words) - 02:23, 27 September 2024
Talbot 1959–1961: Kick Smit 1961–1962: Thim van der Laan 1962–1965: Meg de Jongh 1965–1967: Tinus van der Pijl 1967–1967: Piet Dubbelman 1967–1970: Piet...
3 KB (69 words) - 01:32, 4 February 2024
– Mullan Alex Avery – Collins Eve Myles – Jill Robert Cambrinus – Tony de Jongh Charles Edwards – Ellways (MI9 Officer) As of November 2010, Colditz has...
6 KB (486 words) - 03:03, 10 October 2024
Arkham VR features minor appearances from reporter Vicki Vale (Jules de Jongh), Batman's parents Thomas (Kevin Conroy) and Martha Wayne (Andrea Deck)...
23 KB (2,155 words) - 03:15, 30 October 2024
Mathematical Logic. A K Peters. ISBN 978-1-56881-262-5. Japaridze, Giorgi; De Jongh, Dick (1998). "Chapter VII - The Logic of Provability". In Buss, Samuel R...
12 KB (1,860 words) - 06:32, 29 May 2024
Leeuwarden 1685) Jansz de Stomme, Jan (Franeker 1615 – Groningen 1658) Jongh, Claude de (Utrecht 1605/06 – Utrecht 1663) Jongh, Ludolf de (Overschie 1616 –...
109 KB (8,453 words) - 12:51, 26 September 2024
appears in the Batman: Arkham series, voiced by Grey DeLisle in the main series, Jules de Jongh in Batman: Arkham VR, and Ali Hillis in Batman: Arkham...
27 KB (3,395 words) - 12:41, 24 October 2024
included Evert and Maria Bruinekreeft, Heimen van Esveld, Huib de Iongh, courier Puck de Jongh, Ep van Omme, Joop Roskam, and Elbert van der Wiel. From London...
7 KB (1,104 words) - 11:03, 19 July 2023
Jansen Harrie Jansen Jan Jansen Jan Janssen Sjefke Janssen Piet de Jongh Steven de Jongh Patrick Jonker Willy Kanis Gerben Karstens Alain van Katwijk Fons...
9 KB (851 words) - 15:32, 18 November 2023
Brokmann F.H.W. de Bruijn Jan de Boer Frans Couton A.L. Desmit Wim Anderiesen Wim Volkers Jan Elzenga Roef Vunderink Kick Geudeker G. de Jongh Jack Reynolds...
151 KB (11,726 words) - 17:48, 18 October 2024
Battle of Texel (section Admiralty of de Maze)
battle) Hollandia 80 (Rear Admiral Jan de Haen) Gideon 62 (Barend Hals) Provincie van Utrecht 60 (Jan Janszoon de Jongh) Leeuwen 50 (Jan Gijsels van Lier)...
18 KB (2,008 words) - 09:22, 25 March 2024