... Indagationes Mathematicae , 25 , 264-274 ( 1963 ) . FEFERMAN , S. [ 1 ] . Arithmetization of metamathematics in a general setting . Funda- menta Mathematicae , 49 , 35-92 ( 1960 ) . GÖDEL , K. [ 1 ] . Die Vollständigkeit der Axiome des ...

... Indagationes Math . 8 , 461–467 ( 1946 ) . [ 141 ] DE BRUIJN , N. G. On Mahler's partition problem . Indagationes Mathematicae X ( 1948 ) , 210–220 . Reprinted from Koninklijke Nederlansche Akademie Wetenschappen . [ 142 ] DE BRUIJN ...

... Indagationes mathematicae 10 , 383- 387 . 1949 De non - aequivalentie van de constructieve en de negatieve orderelatie in het continuum , Koninklijke Nederlandsche Akademie van wetenschappen , Proceed- ings of the section of sciences 52 ...

... Indagationes mathematicae, vol. 12 (1950), pp. 108–115. 1951 The logic of negationless intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, vol. 54, pp. 41–49. Also in Indagationes mathematicae, vol. 13 ...

... ( Indagationes Mathematicae Vol . 49 ) , 121-32 . [ 3 , A2 ] . N. G. de Bruijn ( 1989a ) , Updown generation of Beatty sequences , Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen Series A , Vol . 92 ( Indagationes ...

... Indagationes Mathematicae , vol . 41 ( 1979 ) , pp . 411-42 . ( MR 81m : 06029 ] Structure of completely distributive complete lattices . Indagationes Mathematicae , vol . 43 ( 1981 ) , pp . 361-373 . Characterization of the complete ...

... (=Indagationes Mathematicae 16) (1954), pp. 572–581. Tarski, A.: Contributions to the theory of models, II. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Mathematical Sciences 57 (=Indagationes Mathematicae 16) ...

... Indagationes Mathematicae , 8 , 635-42 . 2.6 ( 2.3 ) de Bruijn , N. G. ( 1947 ) . Inequalities concerning polynomials in the complex domain . Indagationes Mathematicae , 9 , 591-8 . 2.6 ( 2.1 ) , 3.5 ( 3.2 , 3.4 ) , 14.7 ( 14.4 ) de ...

... Indagationes Mathematicae, 8, 675–681 (1946); Negationless intuitionistic mathematics II, Indagationes Mathematicae, 12, 108–115 (1950); Negationless intuitionistic mathematics III, Indagationes Mathematicae, 13, 193–199 (1951); ...

... Indagationes Mathematicae, 17 (1955), 1–9. On the geometric meaning of the vanishing of the Nijenhuis tensor in an A, with an almost complex structure. Indagationes Mathematicae, 17 (1955), 132–138. On invariant subspaces in the almost ...