Combinatory Logic, Vol. 1 Haskell B. Curry, Robert Feys, William Craig
1. Formal Systems
2. Epitheory
3. Lambda-Conversion
4. The Church-Rosser Theorem
5. Intuitive Theory of Combinatorics
6. Synthetic Theory of Combinatorics
7. Logistic Foundations
8. Introduction to Illative Combinatory Logic
9. The Basic Theory of Functionality
10. The Stronger Theories of Functionality
Specificaties
Auteur
Haskell B. Curry, Robert Feys, William Craig
Uitgever
North-Holland Publishing Company
Jaar
1958
Druk
-
Aantal pagina's
417
Taal
Engels
Doos
B51
Betalingen & retouren
Betaalmethoden
Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Algebraïsche hoofdstukkenDr. A. van Thijn mmv M.L. KobusI. Reeksen
II. De exponentiëele functie - Oneigenlijke machten
III. Logarithmen
IV. Samengestelde interestrekening
V. De grafiek van de vergelijking van den eersten graad met 2 onbekenden
VI. Algemeene beschouwingen omtrent functies
VII. De functie van den tweeden graad met één veranderlijke
VIII. Vierkantsvergelijkingen
IX. De gebroken functie
X. De rest-stelling - hoogere-machtsvergelijkingen
Leerboek der Hoogere StelkundeC. van AllerI. Over de permutatiën en combinatiën
II. Bespreking van enkele begrippen en methoden
III. Hoogere machtsvergelijkingen
IV. Over de kettingbreuken
V. Determinanten
VI. Over de splitsiing van rationale breuken
VII. Rekenkundige reeksen van hoogere orde
VIII. Oneindig voortloopende reeksen
IX. Over logarithmenstelsels, in het bijzonder het Neperiaansche
The Elements of Mathematical LogicPaul RosenbloomI. The Logic of Classes
II. The Logic of Propositions
III. The Logic of Proposional Functions
IV. The General Syntax of Language
Meetkunde I en IIG.N. Meurs, S. de VriesWerkboekjes voor U.L.N.O., V.M.T.O., Mach.Opl. enz.
Deel 1: 33 paragrafen, eindigend met Toelatingsexamens M.T.S. 1936-1942
Deel 2: 19 paragrafen, eindigend met PBNA-examens en Examens N.O.-akten
De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.