Jongh, Dick de
Jongh, Dick de (D.H.J.), 1939-
Dick de Jongh Nederlands wiskundige
De Jongh, Dick
Jongh, Dick de (1939- )
VIAF ID: 12329961 ( Personal )
Permalink: http://viaf.org/viaf/12329961
Preferred Forms
-
- 100 0 _ ‡a Dick de Jongh ‡c Nederlands wiskundige
- 200 _ | ‡a Jongh ‡b Dick de
- 100 1 0 ‡a Jongh, Dick de
- 100 1 _ ‡a Jongh, Dick de
-
- 100 1 _ ‡a Jongh, Dick de
-
-
- 100 1 _ ‡a Jongh, Dick de
-
-
- 100 1 _ ‡a Jongh, Dick de
4xx's: Alternate Name Forms (23)
5xx's: Related Names (17)
- 500 1 _ ‡a Bowen, Kenneth A.
- 500 1 _ ‡a Gamut, L. T. F.
- 500 1 0 ‡a Gamut, L. T. F.
- 500 | _ ‡a Gamut, L. T. F.
- 500 1 _ ‡a Gamut, L. T. F. ‡e Pseudonym
- 500 1 _ ‡a Gamut, L.T.F.
- 500 _ _ ‡5 z ‡a Gamut ‡b L. T. F.
- 500 1 _ ‡a Groenendijk, J. A. G.
- 500 1 _ ‡a Groenendijk, Jeroen
- 500 1 _ ‡a Groenendijk, Jeroen ‡d 1949-
- 500 1 _ ‡a Hendriks, Lex
- 500 1 _ ‡a Montagna, Franco
- 500 1 _ ‡a Renardel de Lavalette, Gerard R.
- 500 1 _ ‡a Stokhof, M. J. B.
- 500 1 _ ‡a Stokhof, Martin
- 500 1 _ ‡a Stokhof, Martin B. J.
- 500 1 _ ‡a Visser, A. ‡d 1950.12.19-
Works
Title | Sources |
---|---|
Aspects of modern logic | |
Computations in fragments of intuitionistic propositional logic | |
Embeddings of Heyting algebras | |
Finitely generated Magari algebras and arithmetic | |
Formulas of one propositional variable in intuitionistic arithmetic | |
Foundations of pragmatics and lexical semantics | |
Generic generalized rosser fixed points | |
The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property | |
Logic, language, and meaning, c1990: | |
Much shorter proofs | |
On the proof of Solovay's theorem | |
Provability logics for relative interpretability | |
Provable fixed points | |
Rosser orderings and free variables | |
A selection of papers presented at the Provability, Interpretability and Arithmetic Symposium. - | |
A simplification of a completeness proof of Guaspari and Solovay | |
Solution of a problem of David Guaspari | |
Some complete logics for branched time | |
Studies in discourse representation theory and the theory of generalized quantifiers | |
Volledigheid en onvolledigheid | |
Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh | |
Well-founded time, forward looking operators |