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.
Leerboek der algebra II
Leerboek der algebra IIDr. Th.G.D. Stoelinga, Dr. M.G. van TolVIII. Wortels
IX. Twee vergelijkingen van de eerste graad met twee onbekenden
X. Grafische voorstellingen. Functies
XI. De functie van de eerste graad; y = px+q en haar grafiek
XII. Ongelijkheden
XIII. Meer vergelijkingen van de eerste graad met meer onbekenden
XIV. Vierkantsvergelijkingen
XV. Vergelijkingen, die aanleiding geven tot vierkantsvergelijkingen
XVI. Eigenschappen van de wortels ener vierkantsvergelijking
XVII. De kwadrati...
€5,00
0 biedingen
Transformatiemeetkunde 1
Transformatiemeetkunde 1R. Troelstra, Drs. A.N. Habermann, A.J. de Groot, Ir. J. BulensI. Inleiding
II. Lijnen en hoeken
III. Constructies
IV. De spiegeling
V. Spiegel-symmetrische figuren
VI. Evenwijdige lijnen
VII. Draaiing of rotatie
VIII. Verschuiving of translatie
IX. Congruentie
X. Driehoeken
XI. Constructies van figuren
€2,00
0 biedingen
Merkwaardige en interessante wiskundige kwesties
Merkwaardige en interessante wiskundige kwestiesWells, David G.
€5,00
0 biedingen
Aufgaben und Lehrsätze aus der Analysis I
Aufgaben und Lehrsätze aus der Analysis IGeorg Pólya, Gabor Szegö1. Unendliche Reihen und Folgen
2. Integralrechnung
3. Funktionen einer komplexen Veränderlichen. Allgemeiner Teil
€2,00
0 biedingen