Strong Completeness and Limited Canonicity for PDL
- 作者Gerard Renardel de Lavalette; Barteld Kooi; Rineke Verbrugge
- 卷第17卷
- 期第1期
- 印刷ISSN0925-8531
- 电子ISSN1572-9583
- 文件大小310.69KB
- 发表时间2008-01
- DOI10.1007/s10849-007-9051-4
- 页码69-87
Comptes rendusPaul Zumthor; J. R. Smeets; J. A. Van Praag; J. A. Huisman; H. Sparnaay; H. P. H. Teesing; J. A. Van Ek; A. Bogaerts; A. M. L. Knuth; J. Boswinkel; F. C. De Vries; M. Stam; J. Swart; W. J. M. Bronzwaer · 1965
Validity and Quantification in IntuitionismH. C. M. de Swart and C. J. Posy · Journal of Philosophical Logic · 1981
The Impact of University Incorporation on College LecturersL. R. Becker, L. D. Beukes, A. Botha, A. C. Botha, J. J. Botha, M. Botha, D. J. Cloete, J. L. Cloete, C. Coetzee, L. J. De Beer, D. J. De Bruin, L. De Jager, J. J. R. De Villiers, C. M. Du Toit, A. Engelbrecht, R. Evans, M. M. C. Haupt, D. Heyns, L. M. Howatt, A. P. Joubert, J. C. Joubert, A. C. Niemann, N. C. Phatudi, E. Randall, W. J. Rauscher, W. C. Rautenbach, S. Scholtz, J. C. Schultz, R. Swart, H. J. Van Aswegen, J. C. Van Heerden, W. J. Van Vollenhoven, E. M. Van Wyk, J. G. U. Van Wyk, C. A. Van Der Walt, C. N. Van Der Westhuizen, D. Vermeulen and A. Vorster · Higher Education · 2004
Abstracts of papers symposium disposition and delivery of peptide drugsM. Barnard; J. H. Beijnen; S. C. M. Lubbers; O. A. G. J. van der Houwen; M. W. Lobbezoo; W. J. M. Underberg; Th. Cachet; E. Roets; J. Hoogmartens; H. Vanderhaeghe; H. de Bree; D. J. K. van der Stel; O. A. M. Brockhoff; M. P. van Berkel; K. Sierat; G. de Groot; B. C. A. Tepas; O. E. de Noord; J. Hempenius; P. M. J. Coenegracht; J. H. G. Jonkman; D. A. Doornbos; J. A. De Schutter; P. De Moerloose; L. P. C. P. Delbressine; F. M. Kaspersen; A. Blokland; A. L. L. Duchateau; T. A. Verstappen; P. J. H. Hendricks; F. Elferink; O. R. Leeuwenkamp; H. M. Pinedo; W. J. F. vd Vijh; K. Ensing; D. A. Bloemhof; W. G. in 't Hout; R. A. de Zeeuw; Karla G. Feitsma; Ben F. H. Drenth; Rokus A. de Zeeuw; T. K. Gerding; B. F. H. Drenth; R. A. de Zeeuw; A. S. Horn; C. P. Groen; J. Tipker; J. K. van den Bergh-Swart; F. J. Spruit; J. H. N. van den Berg; E. H. Groot Bramel; J. H. Beijnen; O. Beckers; M. Otagiri; W. J. M. Underberg; P. S. L. Janssen; J. W. v. Nispen; P. A. T. A. Melgers; M. J. M. v. Zeeland; R. L. A. E. Hanmelinck; B. C. Goverde; G. W. M. v. Aalst; P. R. Kootstra; H. H. van den Broek; E. A. Hogendoorn; C. E. Goewie; P. J. M. Kwakman; U. A. Th. Brinkman; R. W. Frei; G. J. de Jong; F. J. Spruit; N. G. F. M. Lammers; J. H. M. van den Berg; N. Lammers; C. P. Groen; H. M. Ruijten; P. A. Maessen; K. B. Mross; H. M. Pinedo; W. J. F. van der Vijgh; Naeem Hasan Khan; J. Hoogmartens; E. Roets; H. Vanderhaeghe; S. V. Rose; L. G. D. Lammerts van Bueren; H. van Beek; A. J. Baars; L. A. van Ginkel; H. M. Steinbuch; H. J. van Rossum; H. van Blitterswijk; P. W. Zoontjes; E. v.d. Heeft; A. J. P. M. de Jong; R. W. Stephany; R. van Gijn; J. J. M. de Clippeleir; J. H. Beijnen; W. J. M. Underberg; S. L. Verweij; A. C. A. Paalman; M. A. J. van Opstal; P. Krabbenborg; J. J. M. Holthuis; W. P. van Bennekom; A. Bult; C. van de Water; N. Haagsma; D. J. K. van der Stel; H. de Bree; O. A. M. Brockhoff; D. E. M. M. Vendrig; A. Mekking; J. Teeuwsen; J. J. M. Holthuis · 1988
An Intuitionistically Plausible Interpretation of Intuitionistic LogicH. C. M. de Swart · The Journal of Symbolic Logic · 1977
RELATIVE BIOAVAILABILITY OF FOUR CLOMIPRAMINE HYDROCHLORIDE TABLET PRODUCTSF. O. Müller; R. Schall; E. M. Mogilnicka; G. Groenewoud; H. K. L. Hundt; H. G. Luus; M. V. Middle; K. J. Swart; A. C. De Vaal · 1996
Compilation of coupling constants and low-energy parametersG. Ebel; A. Müllensiefen; H. Pilkuhn; F. Steiner; D. Wegener; M. Gourdin; C. Michael; J.L. Petersen; M. Roos; B.R. Martin; G. Oades; J.J. De Swart · 1971