VIAF

Virtual International Authority File

Search

Jongh, Dick de Library of Congress/NACO Sudoc [ABES], France National Library of France German National Library

Jongh, Dick de (D.H.J.), 1939- National Library of the Netherlands

Jongh, Dick de 1939- ISNI

Dick de Jongh Wikidata

VIAF ID: 12329961 (Personal)

Permalink: http://viaf.org/viaf/12329961

ISNI: 0000  0000  3745  8518 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (11)

Open Section Close SectionWorks

Title Sources
Angluin's theorem for indexed families of r.e. sets and applications National Library of the Netherlands
Aspects of modern logic National Library of the Netherlands
Beth's nonclassical valuations National Library of the Netherlands
Characterization of strongly equivalent logic programs in intermediate logics National Library of the Netherlands
Computations in fragments of intuitionistic propositional logic National Library of the Netherlands
Coordination of 01-agents vs. coordination of worlds-based agents National Library of the Netherlands
Embeddings of Heyting algebras National Library of the Netherlands
Finitely generated Magari algebras and arithmetic National Library of the Netherlands
Formulas of one propositional variable in intuitionistic arithmetic National Library of the Netherlands
Foundations of pragmatics and lexical semantics Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France National Library of France
Generic generalized rosser fixed points National Library of the Netherlands
The incompleteness theorems, their content and their meaning National Library of the Netherlands
The interpolation theorem for IL and ILP National Library of the Netherlands
Interpretability in PRA National Library of the Netherlands
Kripke models and the theory of species National Library of the Netherlands
The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property National Library of the Netherlands
Logic, language, and meaning. - Library of Congress/NACO German National Library
The logic of provability National Library of the Netherlands
Much shorter proofs National Library of the Netherlands
On the proof of Solovay's theorem National Library of the Netherlands
Optimality, belief and preference National Library of the Netherlands
Provable fixed points National Library of the Netherlands
Rosser orderings and free variables National Library of the Netherlands
A simplification of a completeness proof of Guaspari and Solovay National Library of the Netherlands
Solution of a problem of David Guaspari National Library of the Netherlands
Some complete logics for branched time.. National Library of the Netherlands
Studies in discourse representation theory and the theory of generalized quantifiers National Library of the Netherlands Sudoc [ABES], France National Library of France Library of Congress/NACO
Unifiability in extensions of K4 National Library of the Netherlands
Volledigheid en onvolledigheid National Library of the Netherlands
Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh National Library of the Netherlands
Well-founded time, forward looking operators National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:12329961 (11)