Mijn Studiezaal (inloggen)
423 Beth, prof. dr. E.W., te Amsterdam
423
Beth, prof. dr. E.W., te Amsterdam
Introduction
1. Biographical note
2. History, scope and contents of the Evert Willem Beth Papers
3. Arrangement and description
4. Directions for the user of this inventory
5. Bibliography
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden
Inventory
4. Appendices 
4.15. Alphabetical index of titles 
423 Beth, prof. dr. E.W., te Amsterdam
Inventory
4. Appendices
4.15.
Alphabetical index of titles
NB:
Résumé of titles of Beth's books, articles, lectures and unpublished manuscripts
As has been explained in the 'Introduction' of this inventory, in the chapter 'Scholarship' (p. 21), Beth's works, such as books, articles, reviews and lectures, have been described in several separate sections. Appendices to a number of these sections supply the reader with more extensive bibliographic information. To provide the user of this inventory with a résumé of Beth's output, an index of titles was compiled as a summary of the sections and appendices mentioned above.
This index contains titles of published and unpublished work by Beth, whether a text of it was found with the Beth Papers or not. It includes titles from appendices 5, 8, 9 and 12 and from the sections 'Articles and lectures which remained unpublished or of which the publication or date of delivery could not be ascertained', 'Newspaper articles' and 'Lectures'. Also have been listed from Appendix 7 'Contributions to encyclopedic works' those contributions which have a title and from Appendix 11 'Reviews' those reviews which have a title.
The titles have been arranged alphabetically. Each entry includes an indication of the kind of work and a reference to an inventory number or an appendix number. The following abbreviations were used:
A = article
B = book
E = encyclopedia contribution
L = lecture
N = newspaper article
R = review
U = unpublished manuscript
If a title was used more than once by Beth, the entries have been arranged as follows: first have been listed the lecture(s), then the scientific article(s), and lastly the book(s). If a lecture was given more than once, there are entries in the list for each delivery. Published translations of books and articles and published later editions of books have been included as separate entries. Unpublished manuscripts of translations and unpublished manuscripts of later editions have not been included.
As has been explained in the 'Introduction' of this inventory, in the chapter 'Scholarship' (p. 21), Beth's works, such as books, articles, reviews and lectures, have been described in several separate sections. Appendices to a number of these sections supply the reader with more extensive bibliographic information. To provide the user of this inventory with a résumé of Beth's output, an index of titles was compiled as a summary of the sections and appendices mentioned above.
This index contains titles of published and unpublished work by Beth, whether a text of it was found with the Beth Papers or not. It includes titles from appendices 5, 8, 9 and 12 and from the sections 'Articles and lectures which remained unpublished or of which the publication or date of delivery could not be ascertained', 'Newspaper articles' and 'Lectures'. Also have been listed from Appendix 7 'Contributions to encyclopedic works' those contributions which have a title and from Appendix 11 'Reviews' those reviews which have a title.
The titles have been arranged alphabetically. Each entry includes an indication of the kind of work and a reference to an inventory number or an appendix number. The following abbreviations were used:
A = article
B = book
E = encyclopedia contribution
L = lecture
N = newspaper article
R = review
U = unpublished manuscript
If a title was used more than once by Beth, the entries have been arranged as follows: first have been listed the lecture(s), then the scientific article(s), and lastly the book(s). If a lecture was given more than once, there are entries in the list for each delivery. Published translations of books and articles and published later editions of books have been included as separate entries. Unpublished manuscripts of translations and unpublished manuscripts of later editions have not been included.
laatste wijziging 23-11-2021
'A propos d'un "Traité de Logique"' (R): App. 11, nr. 210
'Aantekening over conversietheorie' (U): Inv.nr. 234
'Aantekening over de logistiek' (U): Inv.nr. 235
'Actie = Reactie' (A): App. 9, nr. 2
'Actuele vragen der logica' (L): App. 12, nr. 11
'Algemene beschouwingen over causaliteit' (L): Inv.nr. 693
'Algemene beschouwingen over causaliteit' (A): App. 8, nr. 110
'Analyse sémantique des théories physiques' (A): App. 9, nr. 6
'L'antinomie de Skolem et le théorème de Gödel' (U): Inv.nr. 281
'Antwoord' (U): Inv.nr. 228
'Antwoord' (R): App. 11, nr. 47
'Aporetiek en constructie' (U): Inv.nr. 248
'Aristotle's theory of science and its influence on the development of philosophy' (L): Inv.nr. 671
'Aristotle's theory of science and its influence on the development of philosophy' (L): Inv.nr. 673
[Aspecten en problemen van de wijsgerige studie in de faculteit der wis- en natuurkunde] (L): Inv.nr. 683
'Aspecten en problemen van de wijsgerige studie in de faculteit der wis- en natuurkunde' (A): App. 8, nr. 93
'Aspecten van het tijdsprobleem: in de lijn der traditie' (N): Inv.nr. 600
'Aspects of modern logic' (B): App. 5, nr. 35
[Assertion sign as used by Frege, Russell, Whitehead and Heyting] (U): Inv.nr. 260
'L'avenir de la recherche des fondements' (U): Inv.nr. 297
'Avicenna, een bemiddelaar tussen Oost en West' (N): Inv.nr. 619
'Axiomatique de la théorie des ensembles sans axiome de l'infini' (L): Inv.nr. 735
'Axiomatique de la théorie des ensembles sans axiome de l'infini' (A): App. 9, nr. 18
'Axiomatische verzamelingenleer zonder oneindigheidsaxioma' (A): App. 9, nr. 19
'Axiomatisering van de natuurkunde' (L): Inv.nr. 709
'Aantekening over conversietheorie' (U): Inv.nr. 234
'Aantekening over de logistiek' (U): Inv.nr. 235
'Actie = Reactie' (A): App. 9, nr. 2
'Actuele vragen der logica' (L): App. 12, nr. 11
'Algemene beschouwingen over causaliteit' (L): Inv.nr. 693
'Algemene beschouwingen over causaliteit' (A): App. 8, nr. 110
'Analyse sémantique des théories physiques' (A): App. 9, nr. 6
'L'antinomie de Skolem et le théorème de Gödel' (U): Inv.nr. 281
'Antwoord' (U): Inv.nr. 228
'Antwoord' (R): App. 11, nr. 47
'Aporetiek en constructie' (U): Inv.nr. 248
'Aristotle's theory of science and its influence on the development of philosophy' (L): Inv.nr. 671
'Aristotle's theory of science and its influence on the development of philosophy' (L): Inv.nr. 673
[Aspecten en problemen van de wijsgerige studie in de faculteit der wis- en natuurkunde] (L): Inv.nr. 683
'Aspecten en problemen van de wijsgerige studie in de faculteit der wis- en natuurkunde' (A): App. 8, nr. 93
'Aspecten van het tijdsprobleem: in de lijn der traditie' (N): Inv.nr. 600
'Aspects of modern logic' (B): App. 5, nr. 35
[Assertion sign as used by Frege, Russell, Whitehead and Heyting] (U): Inv.nr. 260
'L'avenir de la recherche des fondements' (U): Inv.nr. 297
'Avicenna, een bemiddelaar tussen Oost en West' (N): Inv.nr. 619
'Axiomatique de la théorie des ensembles sans axiome de l'infini' (L): Inv.nr. 735
'Axiomatique de la théorie des ensembles sans axiome de l'infini' (A): App. 9, nr. 18
'Axiomatische verzamelingenleer zonder oneindigheidsaxioma' (A): App. 9, nr. 19
'Axiomatisering van de natuurkunde' (L): Inv.nr. 709
'Banks ab omni naevo vindicatus' (A): App. 9, nr. 26
'Bertrand Russell over de menselijke kennis' (N): Inv.nr. 605
'Beschouwingen over het logische denken' (L): Inv.nr. 721
'Beschouwingen over het logische denken' (A): App. 8, nr. 150
'De beteekenis van de logische analyse voor rechtstoepassing en rechtswetenschap' (U): Inv.nr. 249
'De beteekenis van de wiskundige methode voor de theoretische economie' (U): Inv.nr. 250
'De betekenis der wiskunde voor de logica bij Vloemans' (N): Inv.nr. 621
'De betekenis van de wijsbegeerte der exacte wetenschappen als universitair studievak en als terrein van wetenschappelijk onderzoek' (A): App. 8, nr. 86
'De betekenis van het mathematisch grondslagenonderzoek voor het elementaire onderwijs in de wiskunde' (A): App. 8, nr. 74
'De betekenis van Nieuwentyt voor de wijsbegeerte der exacte wetenschappen' (L): Inv.nr. 689
'Betekenis van wijsgerige congressen' (N): Inv.nr. 591
'Bezwaren tegen de ontologie van N. Hartmann' (L): App. 12, nr. 8
'Bibliotheek der wijsbegeerte' (N): Inv.nr. 609
'Bij de heruitgave van Carnaps "Aufbau"' (R): App. 11, nr. 35
'Brouwer, Luitzen Egbertus Jan' (U): Inv.nr. 265
'Carnap over semantiek' (U): Inv.nr. 268
'Carnap's view on the advantage of constructed systems over natural languages in the philosophy of science' (A): App. 9, nr. 23
'"Cogito, ergo sum": raisonnement ou intuition?' (A): App. 8, nr. 141
'Compactness proofs in intuitionistic mathematics' (L): Inv.nr. 675
'Completeness results for formal systems' (L): App. 12, nr. 33
'Completeness results for formal systems' (A): App. 8, nr. 151
'Computation and deduction' (L): Inv.nr. 726
'The concept of nature in ancient philosophy' (L): Inv.nr. 676
'Considérations heuristiques sur les méthodes de déduction par séquences' (A): App. 8, nr. 148
'La construction de la logique formelle selon la méthode des tableaux sémantiques' (U): Inv.nr. 290
'Bertrand Russell over de menselijke kennis' (N): Inv.nr. 605
'Beschouwingen over het logische denken' (L): Inv.nr. 721
'Beschouwingen over het logische denken' (A): App. 8, nr. 150
'De beteekenis van de logische analyse voor rechtstoepassing en rechtswetenschap' (U): Inv.nr. 249
'De beteekenis van de wiskundige methode voor de theoretische economie' (U): Inv.nr. 250
'De betekenis der wiskunde voor de logica bij Vloemans' (N): Inv.nr. 621
'De betekenis van de wijsbegeerte der exacte wetenschappen als universitair studievak en als terrein van wetenschappelijk onderzoek' (A): App. 8, nr. 86
'De betekenis van het mathematisch grondslagenonderzoek voor het elementaire onderwijs in de wiskunde' (A): App. 8, nr. 74
'De betekenis van Nieuwentyt voor de wijsbegeerte der exacte wetenschappen' (L): Inv.nr. 689
'Betekenis van wijsgerige congressen' (N): Inv.nr. 591
'Bezwaren tegen de ontologie van N. Hartmann' (L): App. 12, nr. 8
'Bibliotheek der wijsbegeerte' (N): Inv.nr. 609
'Bij de heruitgave van Carnaps "Aufbau"' (R): App. 11, nr. 35
'Brouwer, Luitzen Egbertus Jan' (U): Inv.nr. 265
'Carnap over semantiek' (U): Inv.nr. 268
'Carnap's view on the advantage of constructed systems over natural languages in the philosophy of science' (A): App. 9, nr. 23
'"Cogito, ergo sum": raisonnement ou intuition?' (A): App. 8, nr. 141
'Compactness proofs in intuitionistic mathematics' (L): Inv.nr. 675
'Completeness results for formal systems' (L): App. 12, nr. 33
'Completeness results for formal systems' (A): App. 8, nr. 151
'Computation and deduction' (L): Inv.nr. 726
'The concept of nature in ancient philosophy' (L): Inv.nr. 676
'Considérations heuristiques sur les méthodes de déduction par séquences' (A): App. 8, nr. 148
'La construction de la logique formelle selon la méthode des tableaux sémantiques' (U): Inv.nr. 290
'Construction sémantique de la logique' (A): App. 8, nr. 97
'Construction sémantique de la logique intuitioniste' (L): Inv.nr. 694
'Construction sémantique de la logique intuitioniste' (A): App. 8, nr. 133
'Constructivity in mathematics' (U): Inv.nr. 291
'Une contribution à l'histoire de la logique mathématique' (A): App. 8, nr. 130
'Contributions to finitary metamathematics' (U): Inv.nr. 282
'La cosmologie, dite naturelle, et les sciences mathématiques de la nature' (L): App. 12, nr. 10
'La cosmologie, dite naturelle, et les sciences mathématiques de la nature' (A): App. 8, nr. 59
'La crise de la raison et la logique' (L): Inv.nr. 700
'La crise de la raison et la logique: conférences faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mai 1956' (B): App. 5, nr. 20
'Critical epochs in the development of the theory of science' (A): App. 8, nr. 76
'Critiek van Vredenduin's "Logica der wiskunde"' (A): App. 9, nr. 1
'The decision problem for closed formulas in which at most two free variables occur within the scope of each quantifier' (U): Inv.nr. 287
'Decision problems of logic and mathematics' (A): App. 8, nr. 77
'Het deductie-theoretisch analogon van de methode der semantische tableaux' (L): Inv.nr. 716
'Deduktive und semantische Tafeln für die rein-implikative Logik' (L): Inv.nr. 720
'Demetrios, or on truth and evidence' (U): Inv.nr. 486
'Une démonstration de la non-contradiction de la logique des types au point de vue fini' (A): App. 8, nr. 10
'Démonstration d'un théorème concernant le principe du tiers exclu' (A): App. 8, nr. 6
'Démonstration heuristique et déduction formelle' (L): Inv.nr. 725
'Démonstration heuristique et déduction formelle' (A): App. 9, nr. 27
'Denkmachines' (L): App. 12, nr. 41
'Discussion "logic of imperatives"' (R): App. 11, nr. 101
'Construction sémantique de la logique intuitioniste' (L): Inv.nr. 694
'Construction sémantique de la logique intuitioniste' (A): App. 8, nr. 133
'Constructivity in mathematics' (U): Inv.nr. 291
'Une contribution à l'histoire de la logique mathématique' (A): App. 8, nr. 130
'Contributions to finitary metamathematics' (U): Inv.nr. 282
'La cosmologie, dite naturelle, et les sciences mathématiques de la nature' (L): App. 12, nr. 10
'La cosmologie, dite naturelle, et les sciences mathématiques de la nature' (A): App. 8, nr. 59
'La crise de la raison et la logique' (L): Inv.nr. 700
'La crise de la raison et la logique: conférences faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mai 1956' (B): App. 5, nr. 20
'Critical epochs in the development of the theory of science' (A): App. 8, nr. 76
'Critiek van Vredenduin's "Logica der wiskunde"' (A): App. 9, nr. 1
'The decision problem for closed formulas in which at most two free variables occur within the scope of each quantifier' (U): Inv.nr. 287
'Decision problems of logic and mathematics' (A): App. 8, nr. 77
'Het deductie-theoretisch analogon van de methode der semantische tableaux' (L): Inv.nr. 716
'Deduktive und semantische Tafeln für die rein-implikative Logik' (L): Inv.nr. 720
'Demetrios, or on truth and evidence' (U): Inv.nr. 486
'Une démonstration de la non-contradiction de la logique des types au point de vue fini' (A): App. 8, nr. 10
'Démonstration d'un théorème concernant le principe du tiers exclu' (A): App. 8, nr. 6
'Démonstration heuristique et déduction formelle' (L): Inv.nr. 725
'Démonstration heuristique et déduction formelle' (A): App. 9, nr. 27
'Denkmachines' (L): App. 12, nr. 41
'Discussion "logic of imperatives"' (R): App. 11, nr. 101
'Descartes' idee ener "Mathesis universalis" en haar betekenis voor de natuurphilosophie' (A): App. 8, nr. 13
'Descartes: mens en denker' (N): Inv.nr. 604
'Deux études de philosophie grècque' (A): App. 8, nr. 62
'Didactische consequenties van het exact-wetenschappelijk grondslagenonderzoek' (L): App. 12, nr. 32
'Didactische consequenties van het exact-wetenschappelijk grondslagenonderzoek' (A): App. 8, nr. 134
'Doel en zin van het meetkunde-onderwijs' (L): App. 12, nr. 6
'Doel en zin van het meetkunde-onderwijs' (A): App. 8, nr. 17
'Door wetenschap tot wijsheid' (L): App. 12, nr. 18
'Door wetenschap tot wijsheid' (A): App. 8, nr. 115
'Door wetenschap tot wijsheid: verzamelde wijsgerige studiën' (B): App. 5, nr. 26
'The dream of Eubulides: reflexions on the foundations of logic' (U): Inv.nr. 285
'Drieërlei anthropologie' (U): Inv.nr. 251
'Drielichamenprobleem' (A): App. 9, nr. 7
'Eenheid der wetenschap' (L): Inv.nr. 648
'Eenheid der wetenschap' (A): App. 8, nr. 68
'Eenheid en verscheidenheid van wetenschap' (L): Inv.nr. 712
'Eenige opmerkingen naar aanleiding van Dr S. Kleerekoper "Over het gebruik van de wiskunde in de economie"' (U): Inv.nr. 246
'Het eerste symposium van het "Institut International des Sciences Théoriques"' (A): App. 8, nr. 49:
'Elementaire eigenschappen van orderelaties in verband met het wiskunde-onderwijs' (L): Inv.nr. 659
'Elementen der logica' (L): Inv.nr. 699
'Elimination de la négation de la logique élémentaire' (L): Inv.nr. 650
'Enige opmerkingen over de theorie van de wortelvormen' (A): App. 8, nr. 15
'Enkele beschouwingen over concurrentie bij acties met meer dan een formula' (U): Inv.nr. 236
'Enkele opmerkingen naar aanleiding van het artikel van Dr D. Wiersma' (R): App. 11, nr. 298
'Enkele opmerkingen over didactiek' (R): App. 11, nr. 123
'Enkele opmerkingen over methode in de wijsbegeerte' (R): App. 11, nr. 146
'Descartes: mens en denker' (N): Inv.nr. 604
'Deux études de philosophie grècque' (A): App. 8, nr. 62
'Didactische consequenties van het exact-wetenschappelijk grondslagenonderzoek' (L): App. 12, nr. 32
'Didactische consequenties van het exact-wetenschappelijk grondslagenonderzoek' (A): App. 8, nr. 134
'Doel en zin van het meetkunde-onderwijs' (L): App. 12, nr. 6
'Doel en zin van het meetkunde-onderwijs' (A): App. 8, nr. 17
'Door wetenschap tot wijsheid' (L): App. 12, nr. 18
'Door wetenschap tot wijsheid' (A): App. 8, nr. 115
'Door wetenschap tot wijsheid: verzamelde wijsgerige studiën' (B): App. 5, nr. 26
'The dream of Eubulides: reflexions on the foundations of logic' (U): Inv.nr. 285
'Drieërlei anthropologie' (U): Inv.nr. 251
'Drielichamenprobleem' (A): App. 9, nr. 7
'Eenheid der wetenschap' (L): Inv.nr. 648
'Eenheid der wetenschap' (A): App. 8, nr. 68
'Eenheid en verscheidenheid van wetenschap' (L): Inv.nr. 712
'Eenige opmerkingen naar aanleiding van Dr S. Kleerekoper "Over het gebruik van de wiskunde in de economie"' (U): Inv.nr. 246
'Het eerste symposium van het "Institut International des Sciences Théoriques"' (A): App. 8, nr. 49:
'Elementaire eigenschappen van orderelaties in verband met het wiskunde-onderwijs' (L): Inv.nr. 659
'Elementen der logica' (L): Inv.nr. 699
'Elimination de la négation de la logique élémentaire' (L): Inv.nr. 650
'Enige opmerkingen over de theorie van de wortelvormen' (A): App. 8, nr. 15
'Enkele beschouwingen over concurrentie bij acties met meer dan een formula' (U): Inv.nr. 236
'Enkele opmerkingen naar aanleiding van het artikel van Dr D. Wiersma' (R): App. 11, nr. 298
'Enkele opmerkingen over didactiek' (R): App. 11, nr. 123
'Enkele opmerkingen over methode in de wijsbegeerte' (R): App. 11, nr. 146
'Epistémologie mathématique en psychologie: essai sur les relations entre la logique formelle et la pensée réelle' [With J. Piaget] (B): App. 5, nr. 23
'Equilaterality as the only primitive notion of Euclidean geometry' [With A. Tarski] (A): App. 8, nr. 118
'Essai d'une réponse à l'enquête "Comment faut-il concevoir la philosophie?"' (U): Inv.nr. 50; (correspondence: with H. Tecoz):
'L'état actuel du problème logique des antinomies' (L): Inv.nr. 652
'L'état actuel du problème logique des antinomies' (A): App. 8, nr. 72
'L'évidence intuitive dans les mathématiques modernes' (L): Inv.nr. 628
'L'évidence intuitive dans les mathématiques modernes' (A): App. 8, nr. 11
'Exact-wetenschappelijke wijsbegeerte' (A): App. 8, nr. 73
'Exact-wetenschappelijke wijsbegeerte in Nederland' (A): App. 8, nr. 44
'De exact-wetenschappelijke wijsbegeerte op het Congres van Amsterdam' (A): App. 8, nr. 65
[L'existence en mathématiques] (L): Inv.nr. 688
'L'existence en mathématiques: conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 Mars au 7 Avril 1954' (B): App. 5, nr. 19
'Existence of complete models for extensions of the first-order predicate calculus' (L): App. 3, nr. 6.4
'Existence of complete models for extensions of the first-order predicate calculus' (A): App. 9, nr. 9
'The existence of mathematical entities' (L): Inv.nr. 672
'Existence of models for systems of intuitionistic first-order calculus' (A): App. 9, nr. 9
'La existencia de los entes matematicos' (A): App. 8, nr. 84
'Het expositorisch syllogisme' (L): Inv.nr. 704
'Extension and intension' (A): App. 8, nr. 157
'Extensions du théorème de Löwenheim-Skolem-Gödel' (L): Inv.nr. 656
'I fondamenti logici della matematica' (B): App. 5, nr. 25
'Les fondements logiques des mathématiques' (B): App. 5, nr. 12
'Les fondements logiques des mathématiques' (B): App. 5, nr. 18
'Equilaterality as the only primitive notion of Euclidean geometry' [With A. Tarski] (A): App. 8, nr. 118
'Essai d'une réponse à l'enquête "Comment faut-il concevoir la philosophie?"' (U): Inv.nr. 50; (correspondence: with H. Tecoz):
'L'état actuel du problème logique des antinomies' (L): Inv.nr. 652
'L'état actuel du problème logique des antinomies' (A): App. 8, nr. 72
'L'évidence intuitive dans les mathématiques modernes' (L): Inv.nr. 628
'L'évidence intuitive dans les mathématiques modernes' (A): App. 8, nr. 11
'Exact-wetenschappelijke wijsbegeerte' (A): App. 8, nr. 73
'Exact-wetenschappelijke wijsbegeerte in Nederland' (A): App. 8, nr. 44
'De exact-wetenschappelijke wijsbegeerte op het Congres van Amsterdam' (A): App. 8, nr. 65
[L'existence en mathématiques] (L): Inv.nr. 688
'L'existence en mathématiques: conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 Mars au 7 Avril 1954' (B): App. 5, nr. 19
'Existence of complete models for extensions of the first-order predicate calculus' (L): App. 3, nr. 6.4
'Existence of complete models for extensions of the first-order predicate calculus' (A): App. 9, nr. 9
'The existence of mathematical entities' (L): Inv.nr. 672
'Existence of models for systems of intuitionistic first-order calculus' (A): App. 9, nr. 9
'La existencia de los entes matematicos' (A): App. 8, nr. 84
'Het expositorisch syllogisme' (L): Inv.nr. 704
'Extension and intension' (A): App. 8, nr. 157
'Extensions du théorème de Löwenheim-Skolem-Gödel' (L): Inv.nr. 656
'I fondamenti logici della matematica' (B): App. 5, nr. 25
'Les fondements logiques des mathématiques' (B): App. 5, nr. 12
'Les fondements logiques des mathématiques' (B): App. 5, nr. 18
'Formal derivation by means of semantic tableaux' (L): Inv.nr. 706
'Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic' (B): App. 5, nr. 24
'Formalistic and antiformalistic trends in the philosophy of science' (L): App. 12, nr. 24
'De formele logica en het oneindigheidsbegrip' (U): Inv.nr. 284
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 22
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 27
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 29
'Fundamental features of contemporary theory of science' (A): App. 8, nr. 79
'Gebondenheid en vrijheid van het wetenschappelijk oordeel' (L): Inv.nr. 737
'Geestelijke strijd vóór Christus' (N): Inv.nr. 606
'Geformaliseerde talen en normaal taalgebruik' (L): App. 12, nr. 31
'Geformaliseerde talen en normaal taalgebruik' (A): App. 8, nr. 131
'Die gegenwärtige Lage und die Zukunftsaufgaben der Philosophie der Mathematik' (L): Inv.nr. 651
'General logic and semiotics' (A): App. 8, nr. 71
'Generalisatie van de theorie van Walras' (U): Inv.nr. 237
'A generalization of Herbrand's theorem and of Gentzen's extended "Hauptsatz" for classical elementary logic: preliminary report' (U): Inv.nr. 288
'La genèse de la théorie des idées-nombres' (U): Inv.nr. 31 (correspondence: with the Académie des Sciences Morales et Politiques):
'Geschiedenis der logica' (B): App. 5, nr. 5
'Geschiedenis der logica' (B): App. 5, nr. 8
'Geschiedenis der logica sinds 1847' (L): Inv.nr. 645
'Getalbegrip en tijdsaanschouwing' (A): App. 8, nr. 22
'Gorgias van Leontini als wijsgeer' (A): App. 8, nr. 27
'Les grands thèmes de la recherche des fondements' (L): App. 12, nr. 15
'Les grands thèmes de la recherche des fondements' (A): App. 8, nr. 99
'Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic' (B): App. 5, nr. 24
'Formalistic and antiformalistic trends in the philosophy of science' (L): App. 12, nr. 24
'De formele logica en het oneindigheidsbegrip' (U): Inv.nr. 284
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 22
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 27
'The foundations of mathematics: a study in the philosophy of science' (B): App. 5, nr. 29
'Fundamental features of contemporary theory of science' (A): App. 8, nr. 79
'Gebondenheid en vrijheid van het wetenschappelijk oordeel' (L): Inv.nr. 737
'Geestelijke strijd vóór Christus' (N): Inv.nr. 606
'Geformaliseerde talen en normaal taalgebruik' (L): App. 12, nr. 31
'Geformaliseerde talen en normaal taalgebruik' (A): App. 8, nr. 131
'Die gegenwärtige Lage und die Zukunftsaufgaben der Philosophie der Mathematik' (L): Inv.nr. 651
'General logic and semiotics' (A): App. 8, nr. 71
'Generalisatie van de theorie van Walras' (U): Inv.nr. 237
'A generalization of Herbrand's theorem and of Gentzen's extended "Hauptsatz" for classical elementary logic: preliminary report' (U): Inv.nr. 288
'La genèse de la théorie des idées-nombres' (U): Inv.nr. 31 (correspondence: with the Académie des Sciences Morales et Politiques):
'Geschiedenis der logica' (B): App. 5, nr. 5
'Geschiedenis der logica' (B): App. 5, nr. 8
'Geschiedenis der logica sinds 1847' (L): Inv.nr. 645
'Getalbegrip en tijdsaanschouwing' (A): App. 8, nr. 22
'Gorgias van Leontini als wijsgeer' (A): App. 8, nr. 27
'Les grands thèmes de la recherche des fondements' (L): App. 12, nr. 15
'Les grands thèmes de la recherche des fondements' (A): App. 8, nr. 99
'Grondslagen van de wiskunde' (L): Inv.nr. 715
'Grondslagenonderzoek en filosofie der exacte wetenschappen' (E): App. 7, nr. 8
'Grondslagenonderzoek en wijsbegeerte' (U): Inv.nr. 298
'H. Scholz' "Die Bedeutung der Hegelschen Philosophie für das philosophische Denken der Gegenwart"' (L): Inv.nr. 629
'Hauptperioden in der Entwicklungsgeschichte der formalen Logik' (L): Inv.nr. 655
'Hedendaagse analyse van de wetenschap' (L): Inv.nr. 705
'Hedendaagse analyse van de wetenschap' (A): App. 8, nr. 122
'Hedendaagse filosofie' (N): Inv.nr. 618
'Herbrand's theorem and Gentzen's extended "Hauptsatz" for intuitionistic elementary logic' (U): Inv.nr. 287
[Herdenking van H.J. Pos] (L): Inv.nr. 698
'Herdenking van Hendrik Josephus Pos (11 juli 1898-25 september 1955)' (A): App. 8, nr. 113
'Herman Meyer' (A): App. 8, nr. 168
'Heuristische en formele bewijsvoering' (L): App. 12, nr. 38
'Historical studies in traditional philosophy' (A): App. 8, nr. 40
[History of logic] (U): Inv.nr. 283
[History of non-Euclidean geometry] (U): Inv.nr. 229
'Hoe is de wijsbegeerte mogelijk?' (L): Inv.nr. 636
'Hoe is wijsbegeerte mogelijk?' (A): App. 8, nr. 50
'Honderd jaar logica' (U): Inv.nr. 313
'Hoofdstukken uit de moderne formele logica' (A): App. 9, nr. 4
'De huidige stand der natuurphilosophie' (U): Inv.nr. 267
'Humanistische, historische en wijsgerige beschouwing van de klassieke oudheid' (U): Inv.nr. 252
'Hundred years of symbolic logic: a retrospect on the occasion of the Boole-De Morgan Centenary' (A): App. 8, nr. 45
'In defense of the semantic definition of truth' (U): Inv.nr. 35 (correspondence with A. Duncan-Jones)
'Grondslagenonderzoek en filosofie der exacte wetenschappen' (E): App. 7, nr. 8
'Grondslagenonderzoek en wijsbegeerte' (U): Inv.nr. 298
'H. Scholz' "Die Bedeutung der Hegelschen Philosophie für das philosophische Denken der Gegenwart"' (L): Inv.nr. 629
'Hauptperioden in der Entwicklungsgeschichte der formalen Logik' (L): Inv.nr. 655
'Hedendaagse analyse van de wetenschap' (L): Inv.nr. 705
'Hedendaagse analyse van de wetenschap' (A): App. 8, nr. 122
'Hedendaagse filosofie' (N): Inv.nr. 618
'Herbrand's theorem and Gentzen's extended "Hauptsatz" for intuitionistic elementary logic' (U): Inv.nr. 287
[Herdenking van H.J. Pos] (L): Inv.nr. 698
'Herdenking van Hendrik Josephus Pos (11 juli 1898-25 september 1955)' (A): App. 8, nr. 113
'Herman Meyer' (A): App. 8, nr. 168
'Heuristische en formele bewijsvoering' (L): App. 12, nr. 38
'Historical studies in traditional philosophy' (A): App. 8, nr. 40
[History of logic] (U): Inv.nr. 283
[History of non-Euclidean geometry] (U): Inv.nr. 229
'Hoe is de wijsbegeerte mogelijk?' (L): Inv.nr. 636
'Hoe is wijsbegeerte mogelijk?' (A): App. 8, nr. 50
'Honderd jaar logica' (U): Inv.nr. 313
'Hoofdstukken uit de moderne formele logica' (A): App. 9, nr. 4
'De huidige stand der natuurphilosophie' (U): Inv.nr. 267
'Humanistische, historische en wijsgerige beschouwing van de klassieke oudheid' (U): Inv.nr. 252
'Hundred years of symbolic logic: a retrospect on the occasion of the Boole-De Morgan Centenary' (A): App. 8, nr. 45
'In defense of the semantic definition of truth' (U): Inv.nr. 35 (correspondence with A. Duncan-Jones)
'In memoriam Albert Einstein' (N): Inv.nr. 616
'In memoriam Dr. Herman Meyer (Amsterdam 31 Oktober 1893- Menton 16 Mei 1959)' (A): App. 8, nr. 147
'In memoriam Gerrit Mannoury' (A): App. 8, nr. 120
'In memoriam Heinrich Scholz' (A): App. 8, nr. 121
'In memoriam Jacob Clay (1882-1955)' (A): App. 8, nr. 108
'Indrukken over verblijf in Amerika '52' (L): App. 3, nr. 6.6
'Inferentiële logica en tweewaardige implicatie-logica' (A): App. 8, nr. 161
'Infinitistische methoden in de wiskunde en in het wiskundig grondslagenonderzoek' (L): Inv.nr. 717
'Inleiding tot de logica' translation into Dutch of A. Tarski: Introduction to logic and to the methodology of deductive sciences (B): App. 5, nr. 15
'Inleiding tot de wijsbegeerte der exacte wetenschappen' (B): App. 5, nr. 16
'Inleiding tot de wijsbegeerte der wiskunde' (B): App. 5, nr. 2
'Inleiding tot de wijsbegeerte der wiskunde' (B): App. 5, nr. 3
'Intuitionism: its philosophic background and its implication with regard to mathematics' (L): Inv.nr. 669
'The intuitionistic criticism of classical mathematics' (L): App. 12, nr. 14
'Intuitionistic predicate logic' (L): App. 12, nr. 30
'Intuitionistic predicate logic' (A): App. 9, nr. 12
'The intuitionistic reconstruction of mathematics' (L): Inv.nr. 674
'Inventie en logica' (L): Inv.nr. 719
'De kategorieën' (U): Inv.nr. 245
'Kants Einteilung der Urteile in analytische und synthetische' (A): App. 8, nr. 100
'Kant's kritische philosophie' (U): Inv.nr. 227
'Kanttekeningen op de geschiedenis der wijsbegeerte' (A): App. 8, nr. 31
'Klassieke en moderne scheikunde: van autonome wetenschap tot onderdeel der natuurkunde' (A): App. 8, nr. 1
'In memoriam Dr. Herman Meyer (Amsterdam 31 Oktober 1893- Menton 16 Mei 1959)' (A): App. 8, nr. 147
'In memoriam Gerrit Mannoury' (A): App. 8, nr. 120
'In memoriam Heinrich Scholz' (A): App. 8, nr. 121
'In memoriam Jacob Clay (1882-1955)' (A): App. 8, nr. 108
'Indrukken over verblijf in Amerika '52' (L): App. 3, nr. 6.6
'Inferentiële logica en tweewaardige implicatie-logica' (A): App. 8, nr. 161
'Infinitistische methoden in de wiskunde en in het wiskundig grondslagenonderzoek' (L): Inv.nr. 717
'Inleiding tot de logica' translation into Dutch of A. Tarski: Introduction to logic and to the methodology of deductive sciences (B): App. 5, nr. 15
'Inleiding tot de wijsbegeerte der exacte wetenschappen' (B): App. 5, nr. 16
'Inleiding tot de wijsbegeerte der wiskunde' (B): App. 5, nr. 2
'Inleiding tot de wijsbegeerte der wiskunde' (B): App. 5, nr. 3
'Intuitionism: its philosophic background and its implication with regard to mathematics' (L): Inv.nr. 669
'The intuitionistic criticism of classical mathematics' (L): App. 12, nr. 14
'Intuitionistic predicate logic' (L): App. 12, nr. 30
'Intuitionistic predicate logic' (A): App. 9, nr. 12
'The intuitionistic reconstruction of mathematics' (L): Inv.nr. 674
'Inventie en logica' (L): Inv.nr. 719
'De kategorieën' (U): Inv.nr. 245
'Kants Einteilung der Urteile in analytische und synthetische' (A): App. 8, nr. 100
'Kant's kritische philosophie' (U): Inv.nr. 227
'Kanttekeningen op de geschiedenis der wijsbegeerte' (A): App. 8, nr. 31
'Klassieke en moderne scheikunde: van autonome wetenschap tot onderdeel der natuurkunde' (A): App. 8, nr. 1
'Konstanten van het wiskundig denken' (L): Inv.nr. 738
'Konstanten van het wiskundig denken' (A): App. 8, nr. 179
'Kritiek op de significa: voortzetting der discussie' (L): App. 12, nr. 13
'Kritisch realisme sterkt de wijsbegeerte' (N): Inv.nr. 607
'"Letterkunde versus wiskunde"' (A): App. 8, nr. 21
'Locke's general idea of a triangle' (L): App. 12, nr. 27
'Logic as based on common sense' (U): Inv.nr. 292
'Logic between mathematics and philosophy' (L): Inv.nr. 662
'Logica' (E): App. 7, nr. 1.
'De logica der quantoren: zwakke axiomatiseringen voor de rekenkunde' (A): App. 9, nr. 16
'Logica en grondslagenonderzoek 1940-1945' (A): App. 8, nr. 37
'Logica en ontologie' (L): Inv.nr. 667
'Logica en ontologie' (A): App. 8, nr. 81
'Logica, semantiek en metamathematica' (R): App. 11, nr. 280
'Logical and psychological aspects in the consideration of language' (L): Inv.nr. 633
'Logical and psychological aspects in the consideration of language' (A): App. 9, nr. 5
'La logique des quanteurs: axiomatisations faibles pour l'arithmétique' (L): Inv.nr. 724
'La logique des quanteurs: axiomatisations faibles pour l'arithmétique' (A): App. 8, nr. 178
'La logique et la psychologie dans la recherche des fondements' (L): Inv.nr. 665
'Logique et philosophie' (U): Inv.nr. 301
'La logique formelle et la pensée naturelle' (L): Inv.nr. 701
'La logique formelle et la pensée naturelle' (A): App. 9, nr. 13
'Logique inférentielle et logique bivalente de l'implication' (L): Inv.nr. 723
'Logique inférentielle et logique bivalente de l'implication' (A): App. 8, nr. 160
'Logique scolastique et logique mathématique' (A): App. 8, nr. 94
'Logique symbolique et philosophie des mathématiques' (A): App. 8, nr. 165
'Logische en denkpsychologische aspecten van de vernieuwing van het wiskundeonderwijs' (L): Inv.nr. 736
'Konstanten van het wiskundig denken' (A): App. 8, nr. 179
'Kritiek op de significa: voortzetting der discussie' (L): App. 12, nr. 13
'Kritisch realisme sterkt de wijsbegeerte' (N): Inv.nr. 607
'"Letterkunde versus wiskunde"' (A): App. 8, nr. 21
'Locke's general idea of a triangle' (L): App. 12, nr. 27
'Logic as based on common sense' (U): Inv.nr. 292
'Logic between mathematics and philosophy' (L): Inv.nr. 662
'Logica' (E): App. 7, nr. 1.
'De logica der quantoren: zwakke axiomatiseringen voor de rekenkunde' (A): App. 9, nr. 16
'Logica en grondslagenonderzoek 1940-1945' (A): App. 8, nr. 37
'Logica en ontologie' (L): Inv.nr. 667
'Logica en ontologie' (A): App. 8, nr. 81
'Logica, semantiek en metamathematica' (R): App. 11, nr. 280
'Logical and psychological aspects in the consideration of language' (L): Inv.nr. 633
'Logical and psychological aspects in the consideration of language' (A): App. 9, nr. 5
'La logique des quanteurs: axiomatisations faibles pour l'arithmétique' (L): Inv.nr. 724
'La logique des quanteurs: axiomatisations faibles pour l'arithmétique' (A): App. 8, nr. 178
'La logique et la psychologie dans la recherche des fondements' (L): Inv.nr. 665
'Logique et philosophie' (U): Inv.nr. 301
'La logique formelle et la pensée naturelle' (L): Inv.nr. 701
'La logique formelle et la pensée naturelle' (A): App. 9, nr. 13
'Logique inférentielle et logique bivalente de l'implication' (L): Inv.nr. 723
'Logique inférentielle et logique bivalente de l'implication' (A): App. 8, nr. 160
'Logique scolastique et logique mathématique' (A): App. 8, nr. 94
'Logique symbolique et philosophie des mathématiques' (A): App. 8, nr. 165
'Logische en denkpsychologische aspecten van de vernieuwing van het wiskundeonderwijs' (L): Inv.nr. 736
'Logische en denkpsychologische aspecten van de vernieuwing van het wiskunde-onderwijs' (A): App. 8, nr. 173
'Logistische methoden in de biologie' (U): Inv.nr. 238
'De logistiek als voortzetting van de traditionele formele logica' (L): Inv.nr. 630
'De logistiek als voortzetting van de traditionele formele logica' (A): App. 8, nr. 25
'Het materialisme en de evolutiegedachte' (L): Inv.nr. 641
'Matériaux pour un projet de recherche' (L): App. 12, nr. 36
'Mathematical epistemology and psychology' [With Jean Piaget] (B): App. 5, nr. 30
'Mathematical thought: an introduction to the philosophy of mathematics' (B): App. 5, nr. 28
'De mechanisering van het wereldbeeld' (N): Inv.nr. 599
'De mens en de mensen' (U): Inv.nr. 294
'La métamathématique et ses applications au problème de la non-contradiction de la logique et de l'arithmétique' (L): Inv.nr. 626
'La métamathématique et ses applications au problème de la non-contradiction de la logique et de l'arithmétique' (A): App. 8, nr. 5
'Metaphysica en kennistheorie van Plato tot Bergson: een historisch-kritische studie' (U): Inv.nr. 322
'Metaphysica en wetenschap' (A): App. 8, nr. 38
'La méthode sémantique et ses applications en mathématiques' (L): Inv.nr. 638
'Les méthodes algébriques et topologiques dans la recherche des fondements des mathématiques' (U): Inv.nr. 277
'"Methodische Rahmen"--"Framework"--"Conceptual scheme"' (U): Inv.nr. 295
'Methodologie der empirische wetenschappen' (L): Inv.nr. 691
'Methodologie der empirische wetenschappen' (A): App. 8, nr. 112
'Moderne logica' (L): App. 12, nr. 34
'Moderne logica' (A): App. 8, nr. 146
'Moderne logica' (B): App. 5, nr. 31
'Moderne logica' (B): App. 5, nr. 34
'De moderne logica' (N): Inv.nr. 598
'Moderne logica en wijsbegeerte' (U): Inv.nr. 296
'Logistische methoden in de biologie' (U): Inv.nr. 238
'De logistiek als voortzetting van de traditionele formele logica' (L): Inv.nr. 630
'De logistiek als voortzetting van de traditionele formele logica' (A): App. 8, nr. 25
'Het materialisme en de evolutiegedachte' (L): Inv.nr. 641
'Matériaux pour un projet de recherche' (L): App. 12, nr. 36
'Mathematical epistemology and psychology' [With Jean Piaget] (B): App. 5, nr. 30
'Mathematical thought: an introduction to the philosophy of mathematics' (B): App. 5, nr. 28
'De mechanisering van het wereldbeeld' (N): Inv.nr. 599
'De mens en de mensen' (U): Inv.nr. 294
'La métamathématique et ses applications au problème de la non-contradiction de la logique et de l'arithmétique' (L): Inv.nr. 626
'La métamathématique et ses applications au problème de la non-contradiction de la logique et de l'arithmétique' (A): App. 8, nr. 5
'Metaphysica en kennistheorie van Plato tot Bergson: een historisch-kritische studie' (U): Inv.nr. 322
'Metaphysica en wetenschap' (A): App. 8, nr. 38
'La méthode sémantique et ses applications en mathématiques' (L): Inv.nr. 638
'Les méthodes algébriques et topologiques dans la recherche des fondements des mathématiques' (U): Inv.nr. 277
'"Methodische Rahmen"--"Framework"--"Conceptual scheme"' (U): Inv.nr. 295
'Methodologie der empirische wetenschappen' (L): Inv.nr. 691
'Methodologie der empirische wetenschappen' (A): App. 8, nr. 112
'Moderne logica' (L): App. 12, nr. 34
'Moderne logica' (A): App. 8, nr. 146
'Moderne logica' (B): App. 5, nr. 31
'Moderne logica' (B): App. 5, nr. 34
'De moderne logica' (N): Inv.nr. 598
'Moderne logica en wijsbegeerte' (U): Inv.nr. 296
'Moderne metaphysica' (U): Inv.nr. 269
'Moderne wetenschap zoekt naar redeneer-machine' (N): Inv.nr. 623
'Modernisme in de wetenschap' (A): App. 8, nr. 156
'Monisme en pluralisme in logica en wiskunde' (L): App. 12, nr. 20
'Monisme en pluralisme in logica en wiskunde' (A): App. 8, nr. 114
'Na vier jaar vrijheid' (N): Inv.nr. 595
'Naar aanleiding van H.J.E. Beth, "Inleiding in de niet-Euclidische meetkunde op historische grondslag"' (L): App. 12, nr. 1
'Naschrift' (A): App. 8, nr. 42
'Naschrift' (A): App. 8, nr. 43
'Naschrift' (A): App. 9, nr. 14
'Naschrift' (R): App. 11, nr. 200
'Natuur en geest' (U): Inv.nrs. 409-410
'Natuurkunde en logica' (L): Inv.nr. 664
'Natuurphilosophie' (B): App. 5, nr. 9
'Natuurwetenschap en logica' (L): Inv.nr. 687
'Natuurwetenschap en wijsbegeerte' (L): Inv.nr. 686
'Natuurwetenschap, wijsbegeerte en levensbeschouwing' (L): App. 12, nr. 22
'Natuurwetenschap, wijsbegeerte en levensbeschouwing' (A): App. 8, nr. 126
'Necrologie Prof. Dr D.K. de Jongh' (U): Inv.nr. 304
'De Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen' (A): App. 8, nr. 135
'Eine neue Metakritik: zum Buche "Kants Begründung der Deutschen Philosophie" von Magdalena Aebi' (N): Inv.nr. 592
'Nieuwe studies in de logica' (N): Inv.nr. 612
'Nieuwentyt and Kant on analytic propositions' (L): Inv.nr. 677
'Nieuwentyt's significance for the philosophy of science' (A): App. 8, nr. 109
'Nieuwere opvattingen aangaande het begrip wetenschap' (L): Inv.nr. 710
'Nogmaals: "De rekenkundige denkbaarheden in logische samenhang"' (A): App. 8, nr. 24
'Nogmaals verleden en toekomst der wetenschappelijke wijsbegeerte' (U): Inv.nr. 253
'Moderne wetenschap zoekt naar redeneer-machine' (N): Inv.nr. 623
'Modernisme in de wetenschap' (A): App. 8, nr. 156
'Monisme en pluralisme in logica en wiskunde' (L): App. 12, nr. 20
'Monisme en pluralisme in logica en wiskunde' (A): App. 8, nr. 114
'Na vier jaar vrijheid' (N): Inv.nr. 595
'Naar aanleiding van H.J.E. Beth, "Inleiding in de niet-Euclidische meetkunde op historische grondslag"' (L): App. 12, nr. 1
'Naschrift' (A): App. 8, nr. 42
'Naschrift' (A): App. 8, nr. 43
'Naschrift' (A): App. 9, nr. 14
'Naschrift' (R): App. 11, nr. 200
'Natuur en geest' (U): Inv.nrs. 409-410
'Natuurkunde en logica' (L): Inv.nr. 664
'Natuurphilosophie' (B): App. 5, nr. 9
'Natuurwetenschap en logica' (L): Inv.nr. 687
'Natuurwetenschap en wijsbegeerte' (L): Inv.nr. 686
'Natuurwetenschap, wijsbegeerte en levensbeschouwing' (L): App. 12, nr. 22
'Natuurwetenschap, wijsbegeerte en levensbeschouwing' (A): App. 8, nr. 126
'Necrologie Prof. Dr D.K. de Jongh' (U): Inv.nr. 304
'De Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen' (A): App. 8, nr. 135
'Eine neue Metakritik: zum Buche "Kants Begründung der Deutschen Philosophie" von Magdalena Aebi' (N): Inv.nr. 592
'Nieuwe studies in de logica' (N): Inv.nr. 612
'Nieuwentyt and Kant on analytic propositions' (L): Inv.nr. 677
'Nieuwentyt's significance for the philosophy of science' (A): App. 8, nr. 109
'Nieuwere opvattingen aangaande het begrip wetenschap' (L): Inv.nr. 710
'Nogmaals: "De rekenkundige denkbaarheden in logische samenhang"' (A): App. 8, nr. 24
'Nogmaals verleden en toekomst der wetenschappelijke wijsbegeerte' (U): Inv.nr. 253
'Nominalisme en Platonisme en de hedendaagse logica' (L): App. 12, nr. 16
'Nominalism and Platonism in contemporary logic' (L): App. 12, nr. 28
'Nominalisme in de hedendaagse logica' (N): Inv.nr. 614
'A note on the intuitionist and the classical propositional calculus' [With H. Leblanc] (A): App. 8, nr. 155
'Notes sur les "tableaux sémantiques"' (U): Inv.nr. 300
'Nuchter verstand en Christendom' (N): Inv.nr. 611
'Observations au sujet du raisonnement indirect' (A): App. 8, nr. 154
'Observations concernant la théorie de la définition' (L): Inv.nr. 734
'Observations concernant la théorie de la définition' (A): App. 9, nr. 20
'Observations concerning computation, deduction, and heuristics' (A): App. 8, nr. 172
'Observations métamathématiques sur les structures simplement ordonnées' (L): Inv.nr. 679
'Observations métamathématiques sur les structures simplement ordonnées' (A): App. 8, nr. 98
'Observations on an independence proof for Peirce's law' (U): Inv.nr. 303
'On certain properties of formal systems of set theory and their models' (A): App. 9, nr. 9
'On Locke's Triangle' (L): App. 12, nr. 23
'On machines which prove theorems' (A): App. 8, nr. 132
'On Mannoury's method' (A): App. 8, nr. 142
'On Padoa's method' (L): Inv.nr. 684
'On Padoa's method in the theory of definition' (A): App. 8, nr. 90
'On the Berry paradox' (A): App. 9, nr. 8
'On the completeness of the classical sentential logic' (A): App. 8, nr. 137
'On the intuitionistic validity of certain theorems in the theory of recursive functions' (U): Inv.nr. 280
'On the number of elements in models of axiom systems belonging to the predicate calculus of first order' (A): App. 9, nr. 10
'Onafhankelijke moraal' (N): Inv.nr. 588
'Ondergang van het Kantianisme' (N): Inv.nr. 593
'Het ontstaan der sophistiek' (U): Inv.nr. 254
'Nominalism and Platonism in contemporary logic' (L): App. 12, nr. 28
'Nominalisme in de hedendaagse logica' (N): Inv.nr. 614
'A note on the intuitionist and the classical propositional calculus' [With H. Leblanc] (A): App. 8, nr. 155
'Notes sur les "tableaux sémantiques"' (U): Inv.nr. 300
'Nuchter verstand en Christendom' (N): Inv.nr. 611
'Observations au sujet du raisonnement indirect' (A): App. 8, nr. 154
'Observations concernant la théorie de la définition' (L): Inv.nr. 734
'Observations concernant la théorie de la définition' (A): App. 9, nr. 20
'Observations concerning computation, deduction, and heuristics' (A): App. 8, nr. 172
'Observations métamathématiques sur les structures simplement ordonnées' (L): Inv.nr. 679
'Observations métamathématiques sur les structures simplement ordonnées' (A): App. 8, nr. 98
'Observations on an independence proof for Peirce's law' (U): Inv.nr. 303
'On certain properties of formal systems of set theory and their models' (A): App. 9, nr. 9
'On Locke's Triangle' (L): App. 12, nr. 23
'On machines which prove theorems' (A): App. 8, nr. 132
'On Mannoury's method' (A): App. 8, nr. 142
'On Padoa's method' (L): Inv.nr. 684
'On Padoa's method in the theory of definition' (A): App. 8, nr. 90
'On the Berry paradox' (A): App. 9, nr. 8
'On the completeness of the classical sentential logic' (A): App. 8, nr. 137
'On the intuitionistic validity of certain theorems in the theory of recursive functions' (U): Inv.nr. 280
'On the number of elements in models of axiom systems belonging to the predicate calculus of first order' (A): App. 9, nr. 10
'Onafhankelijke moraal' (N): Inv.nr. 588
'Ondergang van het Kantianisme' (N): Inv.nr. 593
'Het ontstaan der sophistiek' (U): Inv.nr. 254
'Operatieve en semantische fundering van de logica' (L): Inv.nr. 727
'Operatieve en semantische fundering van de logica' (A): App. 8, nr. 164
'Een opmerking naar aanleiding van de beide stootproeven van Dr. U.Ph. Lely' (A): App. 8, nr. 8
'Een opmerking over de logische algebra in een gebied van drie waarheidswaarden' (U): Inv.nr. 230
'Een opmerking over de theorie der differentiaalvergelijkingen der eerste orde' (L): App. 12, nr. 2
'Opmerkingen Alders' (A): App. 9, nr. 3
'Opmerkingen over analytische wijsbegeerte' (A): App. 8, nr. 158
'Ordnung in der Logik' (L): App. 12, nr. 37
'Ordnung in der Logik' (A): App. 8, nr. 166
'The origin and growth of symbolic logic' (L): Inv.nr. 637
'The origin and growth of symbolic logic' (A): App. 8, nr. 58
'Over de beteekenis van Hobbes' "Leviathan"' (U): Inv.nr. 239
'Over de noodzakelijkheid van het humanisme' (U): Inv.nr. 262
'Over de zogenaamde "denkmachine"' (L): Inv.nr. 730
'Over de zogenaamde "denkmachine"' (L): Inv.nr. 732
'Over de zogenaamde denkmachine' (A): App. 9, nr. 28
'Over den index van een singulier punt eener gewone differentiaalvergelijking der eerste orde' (U): Inv.nr. 270
'Over enkele kritische opmerkingen van dr P. van Schilfgaarde' (U): Inv.nr. 255
'Over formele en inhoudslogica' (A): App. 8, nr. 33
'Over het berekenen van lijnstukken en oppervlakken in de schoolmeetkunde' (A): App. 8, nr. 18
'Over Kant's onderscheiding van synthetische en analytische oordelen' (A): App. 8, nr. 30
'Over methoden in de wiskunde' (A): App. 8, nr. 125
'Over realistische en idealistische opvatting van het begrip vrijheid' (U): Inv.nr. 240
'Over schommelingen in de welvaart' (U): Inv.nr. 241
'Over significa als tak van de moderne exact-wetenschappelijke wijsbegeerte' (L): Inv.nr. 632
'Overpeinzingen over moderne logica' (U): Inv.nr. 266
'Operatieve en semantische fundering van de logica' (A): App. 8, nr. 164
'Een opmerking naar aanleiding van de beide stootproeven van Dr. U.Ph. Lely' (A): App. 8, nr. 8
'Een opmerking over de logische algebra in een gebied van drie waarheidswaarden' (U): Inv.nr. 230
'Een opmerking over de theorie der differentiaalvergelijkingen der eerste orde' (L): App. 12, nr. 2
'Opmerkingen Alders' (A): App. 9, nr. 3
'Opmerkingen over analytische wijsbegeerte' (A): App. 8, nr. 158
'Ordnung in der Logik' (L): App. 12, nr. 37
'Ordnung in der Logik' (A): App. 8, nr. 166
'The origin and growth of symbolic logic' (L): Inv.nr. 637
'The origin and growth of symbolic logic' (A): App. 8, nr. 58
'Over de beteekenis van Hobbes' "Leviathan"' (U): Inv.nr. 239
'Over de noodzakelijkheid van het humanisme' (U): Inv.nr. 262
'Over de zogenaamde "denkmachine"' (L): Inv.nr. 730
'Over de zogenaamde "denkmachine"' (L): Inv.nr. 732
'Over de zogenaamde denkmachine' (A): App. 9, nr. 28
'Over den index van een singulier punt eener gewone differentiaalvergelijking der eerste orde' (U): Inv.nr. 270
'Over enkele kritische opmerkingen van dr P. van Schilfgaarde' (U): Inv.nr. 255
'Over formele en inhoudslogica' (A): App. 8, nr. 33
'Over het berekenen van lijnstukken en oppervlakken in de schoolmeetkunde' (A): App. 8, nr. 18
'Over Kant's onderscheiding van synthetische en analytische oordelen' (A): App. 8, nr. 30
'Over methoden in de wiskunde' (A): App. 8, nr. 125
'Over realistische en idealistische opvatting van het begrip vrijheid' (U): Inv.nr. 240
'Over schommelingen in de welvaart' (U): Inv.nr. 241
'Over significa als tak van de moderne exact-wetenschappelijke wijsbegeerte' (L): Inv.nr. 632
'Overpeinzingen over moderne logica' (U): Inv.nr. 266
'Le paradoxe du "sorite" d'Euboulide de Mégare' (A): App. 8, nr. 101
'De paradoxen' (A): App. 8, nr. 20
'De paradoxen: een repliek' (A): App. 8, nr. 29
'Paradoxen in de wetenschap en haar betekenis voor de wijsbegeerte' (L): Inv.nr. 696
'De paradoxen van logica en verzamelingsleer' (L): Inv.nr. 666
'De phaenomenologie in verband met de wijsbegeerte der exacte wetenschappen' (L): Inv.nr. 682
'Philosophen-congres was goed voorbereid' (N): Inv.nr. 594
'De plaats van de formele logica in de wijsgerige studie' (A): App. 8, nr. 181
'Poincaré et la philosophie' (L): Inv.nr. 690
'Poincaré et la philosophie' (A): App. 8, nr. 95
'La portée de la philosophie des sciences pour la philosophie systématique' (U): Inv.nr. 271
'De prehistorie van het automatisch redeneren' (L): Inv.nr. 733
'De prehistorie van het automatisch redeneren' (A): App. 8, nr. 180
'The prehistory of research into foundations' (A): App. 8, nr. 83
'The present analysis of science' (A): App. 8, nr. 124
'The principle of the absolute in the philosophy of Plato and Aristotle' (L): Inv.nr. 678
'The problem of the existence of mathematical entities' (L): Inv.nr. 661
'Le problème de l'existence des entités mathématiques' (U): Inv.nr. 279
'Problemen der hedendaagse logica' (L): Inv.nr. 703
'Proeven van wiskundige exactheid [...]' (A): App. 8, nr. 14
'Prof. dr. J. Waterink over het onderwijs in de wiskunde op de middelbare school' (U): Inv.nr. 52 (correspondence with J. Waterink):
'Prof. dr. L.E.J. Brouwer' (N): Inv.nr. 589
'Professor Mannoury en de significa' (N): Inv.nr. 590
'A proof of Craig's lemma by means of semantic tableaux' (L): Inv.nr. 713
'De psychologische argumenten en richtlijnen voor de vernieuwing van het onderwijs in de wiskunde' (A): App. 8, nr. 23
'De paradoxen' (A): App. 8, nr. 20
'De paradoxen: een repliek' (A): App. 8, nr. 29
'Paradoxen in de wetenschap en haar betekenis voor de wijsbegeerte' (L): Inv.nr. 696
'De paradoxen van logica en verzamelingsleer' (L): Inv.nr. 666
'De phaenomenologie in verband met de wijsbegeerte der exacte wetenschappen' (L): Inv.nr. 682
'Philosophen-congres was goed voorbereid' (N): Inv.nr. 594
'De plaats van de formele logica in de wijsgerige studie' (A): App. 8, nr. 181
'Poincaré et la philosophie' (L): Inv.nr. 690
'Poincaré et la philosophie' (A): App. 8, nr. 95
'La portée de la philosophie des sciences pour la philosophie systématique' (U): Inv.nr. 271
'De prehistorie van het automatisch redeneren' (L): Inv.nr. 733
'De prehistorie van het automatisch redeneren' (A): App. 8, nr. 180
'The prehistory of research into foundations' (A): App. 8, nr. 83
'The present analysis of science' (A): App. 8, nr. 124
'The principle of the absolute in the philosophy of Plato and Aristotle' (L): Inv.nr. 678
'The problem of the existence of mathematical entities' (L): Inv.nr. 661
'Le problème de l'existence des entités mathématiques' (U): Inv.nr. 279
'Problemen der hedendaagse logica' (L): Inv.nr. 703
'Proeven van wiskundige exactheid [...]' (A): App. 8, nr. 14
'Prof. dr. J. Waterink over het onderwijs in de wiskunde op de middelbare school' (U): Inv.nr. 52 (correspondence with J. Waterink):
'Prof. dr. L.E.J. Brouwer' (N): Inv.nr. 589
'Professor Mannoury en de significa' (N): Inv.nr. 590
'A proof of Craig's lemma by means of semantic tableaux' (L): Inv.nr. 713
'De psychologische argumenten en richtlijnen voor de vernieuwing van het onderwijs in de wiskunde' (A): App. 8, nr. 23
'Quelques remarques sur la sémantique' (L): App. 12, nr. 21
'Quelques remarques sur la sémantique' (A): App. 8, nr. 128
'Quelques remarques sur le but immanent des recherches contemporaines sur les fondements de la logique et des mathématiques' (U): Inv.nr. 289
'Rapport over het IIIde Internationaal Congres voor Cybernetica' [With S.T. Bok] (A): App. 8, nr. 162
'Rapport over het XIe Internationaal Congres voor Wijsbegeerte' (A): App. 8, nr. 89
'Les rapports entre langues formalisées et langue naturelle' (A): App. 9, nr. 21
'Les rapports entre les programmes de mathématiques de l'enseignement supérieure et de l'enseignement secondaire' (L): Inv.nr. 665
'Rapports nos 1, 2, 3, 6, 8, 10 and 13' in 'Compte rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom' (A): App. 9, nr. 17
'Het recht op een eigen mening' (A): App. 9, nr. 24
'La réconstruction nominaliste de la logique' (L): Inv.nr. 681
'Rede en aanschouwing in de wiskunde' (B): App. 5, nr. 1
'Rede van Riemann' (U): Inv.nr. 231
'Réflexions concernant l'axiomatisation de l'arithmétique' (L): Inv.nr. 680
'Réflexions sur l'organisation et la méthode de l'enseignement mathématique' (A): App. 8, nr. 107
'Relaciones entre la lógica formal y el pensamiento real' [With Jean Piaget] (B): App. 5, nr. 32
'Les relations de la dialectique à la logique' (L): Inv.nr. 640
'Les relations de la dialectique à la logique' (A): App. 8, nr. 60
'The relationship between formalized languages and natural language' (L): Inv.nr. 711
'The relationship between formalized languages and natural language' (A): App. 8, nr. 175
'The relationship between formalized languages and natural language' (A): App. 9, nr. 25
'De relativiteit der logica en haar grenzen' (L): Inv.nr. 654
'Quelques remarques sur la sémantique' (A): App. 8, nr. 128
'Quelques remarques sur le but immanent des recherches contemporaines sur les fondements de la logique et des mathématiques' (U): Inv.nr. 289
'Rapport over het IIIde Internationaal Congres voor Cybernetica' [With S.T. Bok] (A): App. 8, nr. 162
'Rapport over het XIe Internationaal Congres voor Wijsbegeerte' (A): App. 8, nr. 89
'Les rapports entre langues formalisées et langue naturelle' (A): App. 9, nr. 21
'Les rapports entre les programmes de mathématiques de l'enseignement supérieure et de l'enseignement secondaire' (L): Inv.nr. 665
'Rapports nos 1, 2, 3, 6, 8, 10 and 13' in 'Compte rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom' (A): App. 9, nr. 17
'Het recht op een eigen mening' (A): App. 9, nr. 24
'La réconstruction nominaliste de la logique' (L): Inv.nr. 681
'Rede en aanschouwing in de wiskunde' (B): App. 5, nr. 1
'Rede van Riemann' (U): Inv.nr. 231
'Réflexions concernant l'axiomatisation de l'arithmétique' (L): Inv.nr. 680
'Réflexions sur l'organisation et la méthode de l'enseignement mathématique' (A): App. 8, nr. 107
'Relaciones entre la lógica formal y el pensamiento real' [With Jean Piaget] (B): App. 5, nr. 32
'Les relations de la dialectique à la logique' (L): Inv.nr. 640
'Les relations de la dialectique à la logique' (A): App. 8, nr. 60
'The relationship between formalized languages and natural language' (L): Inv.nr. 711
'The relationship between formalized languages and natural language' (A): App. 8, nr. 175
'The relationship between formalized languages and natural language' (A): App. 9, nr. 25
'De relativiteit der logica en haar grenzen' (L): Inv.nr. 654
'Remarks on elementary predicate logic' (A): App. 8, nr. 123
'Remarks on intuitionistic logic' (L): Inv.nr. 707
'Remarks on intuitionistic logic' (A): App. 8, nr. 145
'Remarks on natural deduction' (A): App. 8, nr. 105
'Remarks on the paradoxes of logic and set theory' (A): App. 8, nr. 159
'Remarks on the philosophy of mathematics' (U): Inv.nr. 299
'René Descartes: overleden 11 februari 1650' (L): Inv.nr. 653
'René Descartes: overleden 11 februari 1650' (N): Inv.nr. 597
'Le savoir déductif dans la pensée cartésienne' (L): App. 12, nr. 19
'Le savoir déductif dans la pensée cartésienne' (A): App. 8, nr. 127
'Science a road to wisdom: collected philosophical studies' (B): App. 5, nr. 33
'Science and classification' (A): App. 8, nr. 149
'Science as an element of culture' (U): Inv.nr. 286
[Science et philosophie] (L): Inv.nr. 639
'Scientific philosophy: its aims and means' (L): Inv.nr. 647
'Scientific philosophy: its aims and means' (A): App. 8, nr. 67
'Les seconds entretiens de Zurich' (A): App. 8, nr. 51
'Semantic construction of intuitionistic logic' (L): App. 12, nr. 25
'Semantic construction of intuitionistic logic' (L): App. 12, nr. 26
'Semantic construction of intuitionistic logic' (A): App. 8, nr. 116
'Semantic construction of Lewis's systems S4 and S5' [With J.J.F. Nieland] (A): App. 9, nr. 29
'Semantic entailment and formal derivability' (A): App. 8, nr. 106
'Semantic tableaux' (L): App. 12, nr. 29
'Semantical considerations on discrete order' (U): Inv.nr. 306
'Semantical considerations on intuitionistic mathematics' (A): App. 8, nr. 46
'Semantics as a theory of reference' (A): App. 8, nr. 138
'Semantics of physical theories' (L): Inv.nr. 722
'Semantics of physical theories' (A): App. 8, nr. 153
'Remarks on intuitionistic logic' (L): Inv.nr. 707
'Remarks on intuitionistic logic' (A): App. 8, nr. 145
'Remarks on natural deduction' (A): App. 8, nr. 105
'Remarks on the paradoxes of logic and set theory' (A): App. 8, nr. 159
'Remarks on the philosophy of mathematics' (U): Inv.nr. 299
'René Descartes: overleden 11 februari 1650' (L): Inv.nr. 653
'René Descartes: overleden 11 februari 1650' (N): Inv.nr. 597
'Le savoir déductif dans la pensée cartésienne' (L): App. 12, nr. 19
'Le savoir déductif dans la pensée cartésienne' (A): App. 8, nr. 127
'Science a road to wisdom: collected philosophical studies' (B): App. 5, nr. 33
'Science and classification' (A): App. 8, nr. 149
'Science as an element of culture' (U): Inv.nr. 286
[Science et philosophie] (L): Inv.nr. 639
'Scientific philosophy: its aims and means' (L): Inv.nr. 647
'Scientific philosophy: its aims and means' (A): App. 8, nr. 67
'Les seconds entretiens de Zurich' (A): App. 8, nr. 51
'Semantic construction of intuitionistic logic' (L): App. 12, nr. 25
'Semantic construction of intuitionistic logic' (L): App. 12, nr. 26
'Semantic construction of intuitionistic logic' (A): App. 8, nr. 116
'Semantic construction of Lewis's systems S4 and S5' [With J.J.F. Nieland] (A): App. 9, nr. 29
'Semantic entailment and formal derivability' (A): App. 8, nr. 106
'Semantic tableaux' (L): App. 12, nr. 29
'Semantical considerations on discrete order' (U): Inv.nr. 306
'Semantical considerations on intuitionistic mathematics' (A): App. 8, nr. 46
'Semantics as a theory of reference' (A): App. 8, nr. 138
'Semantics of physical theories' (L): Inv.nr. 722
'Semantics of physical theories' (A): App. 8, nr. 153
'De semantiek is de jongste loot aan de boom der moderne logica' (U): Inv.nr. 272
'La sémantique et sa portée philosophique' (A): App. 8, nr. 111
'Het semantisch waarheidsbegrip en de grondslagen der semantiek' (A): App. 8, nr. 102
'Semantische Begründung der derivativen Implikationslogik' (A): App. 9, nr. 30
'Semantische beschouwingen over elementaire rekenkunde' (L): Inv.nr. 642
'Semantische fundering van de natuurlijke inductie' (L): Inv.nr. 695
'Semantische Tafeln für die intuitionistische Prädikatenlogik erster Ordnung' (L): Inv.nr. 702
'Semantische Tafeln und ihre Anwendung im klassischen Prädikatenkalkül' (L): Inv.nr. 708
'Significa' (E): App. 7, nr. 1
'De significa van de pasigrafische systemen: bijdragen tot de psychologie van het wiskundig denkproces' (A): App. 8, nr. 9
'Significs and logic' (A): App. 8, nr. 61
'Signifika' (U): Inv.nr. 427
'Signifische en syntactische beschouwingen over het assertie-symbool' (L): App. 12, nr. 5
'Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev' (A): App. 8, nr. 85
'Some reflexions on the paradoxes of logic' (L): Inv.nr. 660
'Some remarks on Dr. Perelman's essay on logical antinomies' (A): App. 8, nr. 7
'Sorokin analyseert de crisis van onze tijd' (N): Inv.nr. 613
'Specialisatie en specialisme als facetten van het probleem der universiteit' (L): Inv.nr. 643
'Spelenderwijs Kant' (N): Inv.nr. 610
'Die Stellung der Logik im Gebäude der heutigen Wissenschaft' (A): App. 8, nr. 96
'De strekking en het bestaansrecht der metaphysica in verband met de toekomst der wijsbegeerte' (L): Inv.nr. 634
'De strekking en het bestaansrecht der metaphysica in verband met de toekomst der wijsbegeerte' (B): App. 5, nr. 7
'La sémantique et sa portée philosophique' (A): App. 8, nr. 111
'Het semantisch waarheidsbegrip en de grondslagen der semantiek' (A): App. 8, nr. 102
'Semantische Begründung der derivativen Implikationslogik' (A): App. 9, nr. 30
'Semantische beschouwingen over elementaire rekenkunde' (L): Inv.nr. 642
'Semantische fundering van de natuurlijke inductie' (L): Inv.nr. 695
'Semantische Tafeln für die intuitionistische Prädikatenlogik erster Ordnung' (L): Inv.nr. 702
'Semantische Tafeln und ihre Anwendung im klassischen Prädikatenkalkül' (L): Inv.nr. 708
'Significa' (E): App. 7, nr. 1
'De significa van de pasigrafische systemen: bijdragen tot de psychologie van het wiskundig denkproces' (A): App. 8, nr. 9
'Significs and logic' (A): App. 8, nr. 61
'Signifika' (U): Inv.nr. 427
'Signifische en syntactische beschouwingen over het assertie-symbool' (L): App. 12, nr. 5
'Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev' (A): App. 8, nr. 85
'Some reflexions on the paradoxes of logic' (L): Inv.nr. 660
'Some remarks on Dr. Perelman's essay on logical antinomies' (A): App. 8, nr. 7
'Sorokin analyseert de crisis van onze tijd' (N): Inv.nr. 613
'Specialisatie en specialisme als facetten van het probleem der universiteit' (L): Inv.nr. 643
'Spelenderwijs Kant' (N): Inv.nr. 610
'Die Stellung der Logik im Gebäude der heutigen Wissenschaft' (A): App. 8, nr. 96
'De strekking en het bestaansrecht der metaphysica in verband met de toekomst der wijsbegeerte' (L): Inv.nr. 634
'De strekking en het bestaansrecht der metaphysica in verband met de toekomst der wijsbegeerte' (B): App. 5, nr. 7
'De strijd om de logica' (U): Inv.nr. 273
'De structuur der wiskunde' (L): Inv.nr. 658
'De studie der wijsbegeerte' (N): Inv.nr. 596
'Studie no. 1: over Kant's leer der synthetische en analytische oordelen' (U): Inv.nr. 258
'A subformula theorem for the sentential calculus and a characterization of axiom systems adequate for it' (U): Inv.nr. 263
'Summulae logicales: supplement der formele logica' (B): App. 5, nr. 4
'Sur la description de certains modèles d'un système formel' (A): App. 8, nr. 88
[Sur le parallélisme logico-mathématique] (L): Inv.nr. 657
'Sur le parallélisme logico-mathématique' (A): App. 8, nr. 87
'Sur un théorème concernant le principe du tiers exclu et ses applications dans la théorie de la non-contradiction' (L): App. 12, nr. 3
'Sur un théorème concernant le principe du tiers exclu et ses applications dans la théorie de la non-contradiction' (A): App. 8, nr. 2
'Symbolische logica' (B): App. 5, nr. 13
'Symbolische Logik und Grundlegung der exakten Wissenschaften' (B): App. 5, nr. 10
'Het symbool in de logica' (L): Inv.nr. 718
'Synthe[se] en analyse in de hedendaagse logica' (U): Inv.nr. 274
'Het systeem der logica' (U): Inv.nr. 256
'Taalwetenschap en logica' (L): Inv.nr. 663
'Tableaux déductifs pour la logique de l'implication' (L): App. 12, nr. 35
'Tableaux déductifs pour la logique de l'implication' (A): App. 9, nr. 22
'Les tableaux sémantiques et la déduction naturelle' (U): Inv.nr. 429
'Techniek, kind der logica' (N): Inv.nr. 601
[Ter herdenking van Albert Einstein] (L): Inv.nr. 692
'Terug tot de boom des levens' (N): Inv.nr. 608
'Een terugblik' (A): App. 8, nr. 152
'The theorem of Löwenheim-Skolem-Gödel, its relation to Herbrand's theorem and its extension to intuitionistic logic' (L): Inv.nr. 670
'De structuur der wiskunde' (L): Inv.nr. 658
'De studie der wijsbegeerte' (N): Inv.nr. 596
'Studie no. 1: over Kant's leer der synthetische en analytische oordelen' (U): Inv.nr. 258
'A subformula theorem for the sentential calculus and a characterization of axiom systems adequate for it' (U): Inv.nr. 263
'Summulae logicales: supplement der formele logica' (B): App. 5, nr. 4
'Sur la description de certains modèles d'un système formel' (A): App. 8, nr. 88
[Sur le parallélisme logico-mathématique] (L): Inv.nr. 657
'Sur le parallélisme logico-mathématique' (A): App. 8, nr. 87
'Sur un théorème concernant le principe du tiers exclu et ses applications dans la théorie de la non-contradiction' (L): App. 12, nr. 3
'Sur un théorème concernant le principe du tiers exclu et ses applications dans la théorie de la non-contradiction' (A): App. 8, nr. 2
'Symbolische logica' (B): App. 5, nr. 13
'Symbolische Logik und Grundlegung der exakten Wissenschaften' (B): App. 5, nr. 10
'Het symbool in de logica' (L): Inv.nr. 718
'Synthe[se] en analyse in de hedendaagse logica' (U): Inv.nr. 274
'Het systeem der logica' (U): Inv.nr. 256
'Taalwetenschap en logica' (L): Inv.nr. 663
'Tableaux déductifs pour la logique de l'implication' (L): App. 12, nr. 35
'Tableaux déductifs pour la logique de l'implication' (A): App. 9, nr. 22
'Les tableaux sémantiques et la déduction naturelle' (U): Inv.nr. 429
'Techniek, kind der logica' (N): Inv.nr. 601
[Ter herdenking van Albert Einstein] (L): Inv.nr. 692
'Terug tot de boom des levens' (N): Inv.nr. 608
'Een terugblik' (A): App. 8, nr. 152
'The theorem of Löwenheim-Skolem-Gödel, its relation to Herbrand's theorem and its extension to intuitionistic logic' (L): Inv.nr. 670
'Theorema van Herbrand' (U): Inv.nr. 242
'Theorema van Loewenheim' (U): Inv.nr. 242
'De theorie der epicykels en deferenten' (U): Inv.nr. 275
'Theorie en practijk in dr A. Vloemans' "Ethica"' (N): Inv.nr. 615
'Toepassing der semantische methode op elementaire axioma-stelsels' (L): Inv.nr. 646
'De toepassing van de logistiek op de empirische wetenschappen, vooral op de biologie' (L): App. 12, nr. 7
'A topological proof of the completeness theorem of Löwenheim-Skolem-Gödel' (A): App. 9, nr. 11
'A topological proof of the theorem of Löwenheim-Skolem-Gödel' (L): Inv.nr. 668
'A topological proof of the theorem of Löwenheim-Skolem-Gödel' (A): App. 8, nr. 82
'Topologie van het projectieve vlak' (U): Inv.nr. 226
'Totaliteit, causaliteit en finaliteit' (L): App. 12, nr. 4
'Totaliteit, causaliteit en finaliteit als principes van wetenschappelijke beschouwing' (A): App. 8, nr. 4
'Towards an up-to-date philosophy of the natural sciences' (A): App. 8, nr. 69
'Twee jubilea in de Nederlandse wijsbegeerte' (N): Inv.nr. 620
'Tweeërlei universalisme in de wetenschapsleer' (L): Inv.nr. 714
'Tweeërlei universalisme in de wetenschapsleer' (A): App. 8, nr. 136
'Über Lockes "Allgemeines Dreieck"' (A): App. 8, nr. 119
'Het uitgangspunt der metaphysica' (U): Inv.nr. 259
'Umformung einer abgeschlossenen deduktiven oder semantischen Tafel in eine natürliche Ableitung auf Grund der derivativen bzw. klassischen Implikationslogik' (A): App. 8, nr. 167
'Universitaire salarissen' (N): Inv.nr. 624
'Theorema van Loewenheim' (U): Inv.nr. 242
'De theorie der epicykels en deferenten' (U): Inv.nr. 275
'Theorie en practijk in dr A. Vloemans' "Ethica"' (N): Inv.nr. 615
'Toepassing der semantische methode op elementaire axioma-stelsels' (L): Inv.nr. 646
'De toepassing van de logistiek op de empirische wetenschappen, vooral op de biologie' (L): App. 12, nr. 7
'A topological proof of the completeness theorem of Löwenheim-Skolem-Gödel' (A): App. 9, nr. 11
'A topological proof of the theorem of Löwenheim-Skolem-Gödel' (L): Inv.nr. 668
'A topological proof of the theorem of Löwenheim-Skolem-Gödel' (A): App. 8, nr. 82
'Topologie van het projectieve vlak' (U): Inv.nr. 226
'Totaliteit, causaliteit en finaliteit' (L): App. 12, nr. 4
'Totaliteit, causaliteit en finaliteit als principes van wetenschappelijke beschouwing' (A): App. 8, nr. 4
'Towards an up-to-date philosophy of the natural sciences' (A): App. 8, nr. 69
'Twee jubilea in de Nederlandse wijsbegeerte' (N): Inv.nr. 620
'Tweeërlei universalisme in de wetenschapsleer' (L): Inv.nr. 714
'Tweeërlei universalisme in de wetenschapsleer' (A): App. 8, nr. 136
'Über Lockes "Allgemeines Dreieck"' (A): App. 8, nr. 119
'Het uitgangspunt der metaphysica' (U): Inv.nr. 259
'Umformung einer abgeschlossenen deduktiven oder semantischen Tafel in eine natürliche Ableitung auf Grund der derivativen bzw. klassischen Implikationslogik' (A): App. 8, nr. 167
'Universitaire salarissen' (N): Inv.nr. 624
'Verheffing der geestelijke volkskracht' (N): Inv.nr. 617
'Verleden en toekomst der wetenschappelijke wijsbegeerte' (A): App. 8, nr. 32
'Vernieuwing van het wiskunde-onderwijs' (R): App. 11, nr. 254
'Verstand en intuïtie' (A): App. 8, nr. 91
'Verstand en intuïtie' (B): App. 5, nr. 17
'Versuch einer Begriffsbestimmung der Dialektik im Platonischen Sinne' (U): Inv.nr. 247
'Vijanden der vrije samenleving' (N): Inv.nr. 602
'Vollständigkeitssätze für Heytings intuitionistische Prädikatenlogik erster Ordnung' (L): Inv.nr. 750
'Voordrachten over logica en significa' (L): App. 12, nr. 9
'Voorspelling en waarneming van zoneclipsen' (U): Inv.nr. 264
'Het waarheidsbegrip in de formele wiskunde' (L): Inv.nr. 627
'Waarneming en proef' (A): App. 8, nr. 12
[Waarneming, verstand, intuïtie] (L): Inv.nr. 685
'Wat is een bewijs?' (U): Inv.nr. 276
'Wat is wetenschappelijke wijsbegeerte en welk resultaat is van haar beoefening te verwachten?' (U): Inv.nr. 244
'De weg der wetenschap: inleiding tot de methodologie der empirische wetenschappen' (B): App. 5, nr. 21
'Een welkome uitgave' (R): App. 11, nr. 117
'De werkzaamheid der Nederlandse Vereniging voor Logica' (L): Inv.nr. 509
'De werkzaamheid der Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen van 1947 tot 1953' (A): App. 8, nr. 103
'De wetenschap als cultuurfactor' (L): Inv.nr. 644
'De wetenschap als cultuurfactor' (A): App. 8, nr. 64
'Wetenschap en classificatie' (L): App. 12, nr. 17
'Wetenschap en classificatie' (A): App. 9, nr. 15
'"Wetenschap in toga"' (R): App. 11, nr. 175
'Het wetenschapsbegrip bij Nietzsche en bij de neo-positivisten' (A): App. 8, nr. 19
'Widerspruchfreiheitsbeweis für die Typenlogik' (U): Inv.nr. 308
'Verleden en toekomst der wetenschappelijke wijsbegeerte' (A): App. 8, nr. 32
'Vernieuwing van het wiskunde-onderwijs' (R): App. 11, nr. 254
'Verstand en intuïtie' (A): App. 8, nr. 91
'Verstand en intuïtie' (B): App. 5, nr. 17
'Versuch einer Begriffsbestimmung der Dialektik im Platonischen Sinne' (U): Inv.nr. 247
'Vijanden der vrije samenleving' (N): Inv.nr. 602
'Vollständigkeitssätze für Heytings intuitionistische Prädikatenlogik erster Ordnung' (L): Inv.nr. 750
'Voordrachten over logica en significa' (L): App. 12, nr. 9
'Voorspelling en waarneming van zoneclipsen' (U): Inv.nr. 264
'Het waarheidsbegrip in de formele wiskunde' (L): Inv.nr. 627
'Waarneming en proef' (A): App. 8, nr. 12
[Waarneming, verstand, intuïtie] (L): Inv.nr. 685
'Wat is een bewijs?' (U): Inv.nr. 276
'Wat is wetenschappelijke wijsbegeerte en welk resultaat is van haar beoefening te verwachten?' (U): Inv.nr. 244
'De weg der wetenschap: inleiding tot de methodologie der empirische wetenschappen' (B): App. 5, nr. 21
'Een welkome uitgave' (R): App. 11, nr. 117
'De werkzaamheid der Nederlandse Vereniging voor Logica' (L): Inv.nr. 509
'De werkzaamheid der Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen van 1947 tot 1953' (A): App. 8, nr. 103
'De wetenschap als cultuurfactor' (L): Inv.nr. 644
'De wetenschap als cultuurfactor' (A): App. 8, nr. 64
'Wetenschap en classificatie' (L): App. 12, nr. 17
'Wetenschap en classificatie' (A): App. 9, nr. 15
'"Wetenschap in toga"' (R): App. 11, nr. 175
'Het wetenschapsbegrip bij Nietzsche en bij de neo-positivisten' (A): App. 8, nr. 19
'Widerspruchfreiheitsbeweis für die Typenlogik' (U): Inv.nr. 308
'Wijsbegeerte als wetenschap' (L): Inv.nr. 728
'Wijsbegeerte als wetenschap' (L): App. 12, nr. 39
'Wijsbegeerte der exacte wetenschappen I, II and III' (L): Inv.nr. 697
'Wijsbegeerte der wiskunde' (L): Inv.nr. 631
'Wijsbegeerte der wiskunde' (A): App. 8, nr. 26
'Wijsbegeerte der wiskunde' (B): App. 5, nr. 11
'Wijsbegeerte der wiskunde en grondslagenonderzoek' (U): Inv.nr. 302
'Wijsbegeerte der wiskunde 1923-1948' (L): Inv.nr. 649
'Wijsbegeerte der wiskunde 1923-1948' (A): App. 8, nr. 75
'De wijsbegeerte der wiskunde van Parmenides tot Bolzano' (B): App. 5, nr. 6
'De wijsbegeerte in de 19e eeuw: logica' (L): Inv.nr. 635
'De wijsbegeerte in het hoger onderwijs' (N): Inv.nr. 622
'Wijsgeer bezette niemandsland' (N): Inv.nr. 603
'Wijsgerige ruimteleer' (B): App. 5, nr. 14
'De wiskunde en haar betekenis voor de exacte natuurwetenschappen' (L): Inv.nr. 729
'De wiskunde en haar verhouding tot andere wetenschappen' (U): Inv.nr. 243
'Wiskunde en moderne kunst' (L): Inv.nr. 731
'Wiskunde en moderne kunst' (A): App. 8, nr. 163
'Wiskunde, logica en natuurphilosophie op het Congrès-Descartes' (A): App. 8, nr. 16
'De wisselwerking van het wijsgerig en het wiskundig-natuurwetenschappelijk denken' (L): App. 12, nr. 12 '7 + 5 = 12' (U): Inv.nr. 261
'De zogenaamde denkmachine: achtergrond en perspectief' (L): App. 12, nr. 40
'Zomerconferentie 1953' (A): App. 8, nr. 92
'Zuivere rede en hare werkelijkheid' (U): Inv.nr. 278
'Zur Logik der ethischen Sätze' (U): Inv.nr. 233
'Wijsbegeerte als wetenschap' (L): App. 12, nr. 39
'Wijsbegeerte der exacte wetenschappen I, II and III' (L): Inv.nr. 697
'Wijsbegeerte der wiskunde' (L): Inv.nr. 631
'Wijsbegeerte der wiskunde' (A): App. 8, nr. 26
'Wijsbegeerte der wiskunde' (B): App. 5, nr. 11
'Wijsbegeerte der wiskunde en grondslagenonderzoek' (U): Inv.nr. 302
'Wijsbegeerte der wiskunde 1923-1948' (L): Inv.nr. 649
'Wijsbegeerte der wiskunde 1923-1948' (A): App. 8, nr. 75
'De wijsbegeerte der wiskunde van Parmenides tot Bolzano' (B): App. 5, nr. 6
'De wijsbegeerte in de 19e eeuw: logica' (L): Inv.nr. 635
'De wijsbegeerte in het hoger onderwijs' (N): Inv.nr. 622
'Wijsgeer bezette niemandsland' (N): Inv.nr. 603
'Wijsgerige ruimteleer' (B): App. 5, nr. 14
'De wiskunde en haar betekenis voor de exacte natuurwetenschappen' (L): Inv.nr. 729
'De wiskunde en haar verhouding tot andere wetenschappen' (U): Inv.nr. 243
'Wiskunde en moderne kunst' (L): Inv.nr. 731
'Wiskunde en moderne kunst' (A): App. 8, nr. 163
'Wiskunde, logica en natuurphilosophie op het Congrès-Descartes' (A): App. 8, nr. 16
'De wisselwerking van het wijsgerig en het wiskundig-natuurwetenschappelijk denken' (L): App. 12, nr. 12 '7 + 5 = 12' (U): Inv.nr. 261
'De zogenaamde denkmachine: achtergrond en perspectief' (L): App. 12, nr. 40
'Zomerconferentie 1953' (A): App. 8, nr. 92
'Zuivere rede en hare werkelijkheid' (U): Inv.nr. 278
'Zur Logik der ethischen Sätze' (U): Inv.nr. 233
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden
Kenmerken
Datering:
1920-1964
Omvang in meters:
12,30
Periode documenten:
1920-1964 (1980)
Openbaarheid:
gedeeltelijk openbaar
Opheffing openbaarheidsbeperking:
toestemming directeur
Raadpleegmogelijkheid:
Haarlem, Jansstraat, raadpleging mogelijk na transport
Gebruiksinformatie:
Engelstalige inventaris inv.nrs. 1-912. Inzage wordt slechts verleend nadat de verzoeker schriftelijk heeft verklaard bekend te zijn met het feit dat de auteursrechten en de intellectuele eigendom met betrekking tot dit archief berusten bij de Evert Willem Beth Stichting. Inv.nrs. 171, 177 en 215 zijn pas openbaar vanaf 2051. Prof. dr. E.W. Beth (1908-1964) was filosoof, logicus, wiskundige en hoogleraar aan de Universiteit van Amsterdam.
Categorie:
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden