ID: 2986
Open
Artikel ID: #2986 is op jouw verlanglijst gezet.
Beschrijving
Wiskunde voor het hoger onderwijs 0
R. van Asselt, Th.M. van Pelt, Ir. J.L. Walter
1. Basisvaardigheden
2. Functies
3. Veranderen
R. van Asselt, Th.M. van Pelt, Ir. J.L. Walter
1. Basisvaardigheden
2. Functies
3. Veranderen
Specificaties
- Auteur
- R. van Asselt, Th.M. van Pelt, Ir. J.L. Walter
- Uitgever
- Wolters-Noordhoff
- Jaar
- 2001
- Druk
- 3
- Aantal pagina's
- 309
- Taal
- Nederlands
- Doos
- B05
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Santz-Multiplikator Rechentafel
Santz-Multiplikator RechentafelAdolf Sanziplikator RechentafelAdolf Sanz
€7,00
Exacte logica
Exacte logicaProf. Dr. Hans Freudenthal1. Verzamelingen en afbeeldingen
2. Proposities
3. Subject-predicaat
4. Formele logica
5. Taal en meta-taal
6. Oplossingen
€7,00
Wiskunde voor hogere beroepsopleidingen van laboratoriumpersoneel
Wiskunde voor hogere beroepsopleidingen van laboratoriumpersoneelDrs. Joh. RunhaarHBO laboratoriumpersoneel
€5,00
Normalization, Cut-Elimination and the Theory of Proofs
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
1 Background
2 Comparing NJ with LJ
3 Natural Deduction Revisited
4 The Problem of Substitution
5 A Multiple-Conclusion Calculus
6 Reduction Procedures
7 Correspondence Results
8 Interpretations of Derivations
Appendices
A. A Strong Cut-Elimination Theorem for LJ
B. A Formulation of the Classical Sequent Calculus
C. Proofs and Categories
€2,00