Beschrijving
Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Specificaties
- Auteur
- Robert P. McArthur
- Uitgever
- D. Reidel
- Jaar
- 1976
- Druk
- -
- Aantal pagina's
- 84
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Wiskunde voor het hoger onderwijs
Wiskunde voor het hoger onderwijsAsselt van, R.oor het hoger onderwijsAsselt van, R.
€5,00
Middel-Algebra I
Middel-Algebra IP. Wijdenesmet antwoordenboekje
Leerboek voor Akte-studie en inleiding tot de analyse
I. Bewijzen door volledige inductie
II. Ongelijkheden
III. Permutaties en combinaties
IV. Rekenkundige reeksen van hogere orde
V. Determinanten
VI. Lineaire vergelijkingen
VII. Complexe getallen
VIII. Het begrip functie
IX. Algemene eigenschappen van de veelterm in x. Nulpunten. Over de wortels van een hogere-machtsvergelijking
X. Binomiaalvergelijkingen
XI. Oplossing van de derde- en vierdemach...
€7,00
Übungensammlung zu einer geometrischen Propädeuse
Übungensammlung zu einer geometrischen PropädeuseT. Ehrenfest-AfanassjewaI. Strecken
II. Winkel
III. Gerade als Drehaxe
IV. Der Kürzeste Abstand Zwischen Zwei Punkten
V. Gerade als Lichtstrahl
VI. Ebene und Linienflächen
VII. Unendlichkeit der Geraden, Parallelle Geraden
VIII. Gegenseitige Lage von Geraden und Ebenen
IX. Lage der Geraden und Ebenen Bezüglich des Horizontes
X. Ebene Schnitte von Flächen; Schatten; Perspektivische Bilder
XI. Zwei- und Dreiflachswinkel
XII. Symmetrie
XIII. Ge...
€2,00
Beknopte driehoeksmeting
Beknopte driehoeksmetingP. WijdenesI. Scherpe hoeken
II. Andere hoeken
III. Enkele meetkundige toepassingen
IV. Hoofdwaarden en bijzondere waarden
V. Algemene formules voor willekeurige hoeken
VI. De logarithmen der goniometrische verhoudingen
VII. Optellingstheorema's
VIII. Rechthoekige driehoeken
IX. Scheefhoekige driehoeken
X. Merkwaardige lijnen in de driehoek
XI. Toegepaste driehoeksmeting
XII. Cyclometrische vormen
XIII. Goniometrische vergelijkingen
Vraagstukken van het Staatsexamen en va...
€2,00