4 Ergebnisse für: succedent
-
Natural Deduction: A Proof-Theoretical Study - Dag Prawitz - Google Books
http://books.google.de/books?id=IosnAAAACAAJ
An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the…
-
The Judgments of Nativities - Abu Ali Al-Khayyat - Google Books
https://books.google.de/books?id=rR8iTR5hfbsC
This English translation of The Judgments of Nativities by the medieval Arabian astrologer Abu 'Ali Al-Khayyat, who is usually called Albohali in astrological literature, was made from the 1546 Latin edition by John of Seville. It includes the Latin…
-
GYMNASIUM LAURENTIANUM WARENDORF - EIN SCHULPROGRAMM VON 1594
http://www.laurentianum.de/lcurku02.htm
Gymnasium Laurentianum Warendorf, das Schulprogramm des Gosquinus Betuleius für die Warendorfer Lateinschule von 1594, Urkunde, lateinischer Originaltext und deutsche Übersetzung von H.Meyering.
-
Pfullendorf 1220
http://www.stauferstelen.net/texts/pfullendorf1220.htm
Keine Beschreibung vorhanden.