1. Verbruik van Energie2. Opwekken3. Arbeid4. Stoom5. Motor6.Werktuigen7. Waterkracht8. Waterturbines9. Kosten10. Accumulatie

1. Aardveld2. Ionisatie3. Onweer4. Ionosfeer

Sequents and Link Graphs Contraction criteria for refinements of multiplicative linear logic

proefschrift

Matrix Logic

Propositional LogicPredicate LogicCompletenessSecond order Logic Intuitionistic Logic

an elementary introduction

Logique de la pensee mathematique ressorts fondamentaux

Les Applications Techniques De La Logique

Trwee delen: poortschakelingen flipflops omzetters schakelingen. Rekenkundige bewerkingen

Einfuhrung In Die Formale Logik

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS L. E. J. BROUWER/E. W. BETH / A. HEYTING EDITORS

The Logic Of Invariable Concomitance In The TattvacintāmaniGangeśa's Anumitinirūpaņa And Vyaptivāda With Introduction Translation And Commentary

Formal MethodsAn Introduction To Symbolic Logic And To The Study Of Effective Operations In Arithmetic And Logic

1. Boolean Rings2. Boolean Algebra…30. Retracts31 Projective Algebras32. Injective Algebras

Proefschrift

Het boek behandelt op populair-wetenschappelijke wijze de structuur van atomen kernenergie en de impact van atoomfysica op de mens en maatschappij (mens en atoom). Het is geschreven in de nasleep van de Tweede Wereldoorlog en de opkomst van de vreedzame toepassing van kernenergie.

I. Extreme waarden voor functies van een onafh. VariabeleII. Hol of bol t.o.v. de X-as buigpuntsbepaling raaklijn en normaal raaklijn in O dubbelpuntenIII. Tangent normaal subtangent en subnormaal kromtestraal kromtemiddelpunt en kromtecirkel orde van aanraking omhullende ontwondene cycloideIV. AsymptotenV. Het tekenen van krommenVI. Ruimtekrommen Raaklijn normaalvlak osculatievlak hoofdnormaal rectificerend vlak binormaal stralen van eerste en van tweede krommingVII. Oppervlakken. Raakvlak norm...

hoogleraar te Leuven Philosophische Bibliotheek

Mathematische Forschung Herausgegeben Von Wilhelm Blaschke