BORGHUIS, VALENTIJN ANTON JOHAN (Geboren te Oldenzaal) - Coming
| Schrijver: | BORGHUIS, VALENTIJN ANTON JOHAN (Geboren te Oldenzaal) |
|---|---|
| Titel: | Coming To Terms With Modal Logic: On the interpretation of modalities in Typed Lambda-Calculus (Proefschrift) |
| Taal: | Engels |
| Uitgever: | Eindhoven: Technische Universiteit Eindhoven, 1994, 1e dr. |
| Bijzonderheden: | 218p., soft cover. Met vele zw./w. illustraties - Grafieken, Tabellen en wiskundige formules, uitgebreide bibliografie en samenvatting in het Nederlands. Enkele verwaarloosbare vlekjes omslag, goed exemplaar. |
| Prijs: | € 24,00 (Excl. verzendkosten) |
| Meer info: |
"In once sentence the aim of this thesis is to incorporate intensional reasoning in type thory by means of a 'propositions-as-types' interpretation of modal logic.
To explain this goal properly, we first introduce the reader briefly to the traditional setting of this monograph: the embedding of logics in type theory. These embeddings have been studied extensively, motivated by applications in proof theory, mathematics and computer science. After a brief survey of this research, we focus on the recent use of type theory in 'knowledge representation' which motivated our studie of the propositions-as-types interpretation of modal logic. Then the objectives of this thesis are stated, followed by an explanation of the choice of formal frameworks. We conclude by giving an overview of the contents of the thesis." |
.
Kijk gerust rond, vragen zijn altijd welkom.
De verkoper zal binnen 2 werkdagen contact met u opnemen om de koop verder af te handelen.
Het huisnummer is ook opgegeven in het straat veld. Gelieve controleren of de velden straat en huisnummer correct zijn opgegeven.
Straat:
Nummer:
- Alle boeken zijn compleet en verkeren in normale antiquarische staat, tenzij anders beschreven. Kleine onvolkomenheden, zoals een ingeplakte ex-libris of een naam op het schutblad, zijn niet altijd vermeld
- U handelt deze order direct af met Het Oosten
Deze verkoper is een particulier, dit heeft invloed op welke rechten voor u als koper ontbreken. Zo heeft u geen herroepingsrecht of conformiteitsrecht. Verder lezen. - Na uw bestelling ontvangen u en Het Oosten een bevestiging per e-mail. In de e-mail staan de naam, adres, woonplaats en telefoonnummer van Het Oosten vermeld
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen
- Het Oosten kan betaling vooraf vragen
- Boekwinkeltjes.nl probeert Kopers en Verkopers tot elkaar te brengen. Boekwinkeltjes.nl is echter nimmer partij bij een overeenkomst die gesloten wordt tussen Koper en Verkoper door gebruikmaking van de site. Als u een geschil hebt met één of meer gebruikers, dient u dit zelf op te lossen. U vrijwaart Boekwinkeltjes.nl van enigerlei vorderingen, aanspraken op schadevergoeding en dergelijke, verband houdende met dergelijke geschillen.
Onthoud mijn gegevens
Registreer u vrijblijvend als koper!
Besteld, hoe nu verder?
De verkoper zal binnen 2 werkdagen contact met u opnemen om de koop verder af te handelen. Afhankelijk van uw locatie heeft u in de meeste gevallen binnen 2 dagen uw bestelling in huis.