Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
+ Suchhistorie (1 Recherche)
DigiKat (1936-1961): - Parallelrecherche im DigiKat läuft noch... RSSDrucker
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

222.868 Titel < 1825
 bis  
 
1. Kamp, Hans: From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory / by Hans Kamp and Uwe Reyle. - Student ed.. -
Dordrecht [u.a.]: Kluwer, 1993. - VIII, 713 S. : graph. Darst., ISBN 978-0-7923-1027-3
(Studies in linguistics and philosophy ; 42)
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 2007 A 7148
2. Kamp, Hans: From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory / by Hans Kamp and Uwe Reyle, Institute for Computational Linguistics, University of Stuttgart. - [Reprinted]. -
Dordrecht: Springer-Science+Business Media, B.V., 1993. - viii, 713 Seiten : Illustrationen, ISBN 978-0-7923-1028-0
(Studies in linguistics and philosophy ; 42)
(Classic titles in linguistics)
Buch/keine Angabe 
Präsenznutzung
3. The semantic conception of logic : essays on consequence, invariance, and meaning / edited by Gil Sagi (University of Haifa, Israel), Jack Woods (University of Leeds). - First paperback edition. -
Cambridge ; New York, NY: Cambridge University Press, 2023. - x, 294 Seiten : Diagramme, ISBN 978-1-108-43554-3
DOI: 10.1017/9781108524919
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 2024 A 976
4. Hansen, Casper Storm: Founding Mathematics on Semantic Conventions / by Casper Storm Hansen. - 1st ed. 2021.. -
Cham: Springer International Publishing, 2021.. - 1 Online-Ressource(XI, 256 p.), ISBN 978-3-030-88534-2
(Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 446)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-88534-2
Online-Ressource 
5. Winter, Yoad: Elements of formal semantics : an introduction to the mathematical theory of meaning in natural language / Yoad Winter. -
Edinburgh: Edinburgh University Press, [2016]. - xi, 258 Seiten, ISBN 978-0-7486-4043-0
(Edinburgh advanced textbooks in linguistics)
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 2016 A 5626
6. Cherlin, Gregory L.: Homogeneous ordered graphs, metrically homogeneous graphs, and beyond : Volume I: Ordered graphs and distanced graphs / Gregory Cherlin. -
Cambridge: Cambridge University Press, 2022. - 1 Online-Ressource (xxx, 356 Seiten), ISBN 978-1-009-22966-1
(Lecture notes in logic ; 53)
DOI: 10.1017/9781009229661
Online-Ressource 
7. Cherlin, Gregory L.: Homogeneous ordered graphs, metrically homogeneous graphs, and beyond : Volume II: 3-Multi-graphs and 2-Multi-tournaments / Gregory Cherlin. -
Cambridge: Cambridge University Press, 2022. - 1 Online-Ressource (xxiv, 264 Seiten), ISBN 978-1-009-22950-0
(Lecture notes in logic ; 54)
DOI: 10.1017/9781009229500
Online-Ressource 
8. The Cambridge handbook of second language acquisition / edited by Julia Herschensohn; Martha Young-Scholten. -
Cambridge: Cambridge University Press, 2013. - xiv, 823 Seiten : Diagramme, ISBN 978-1-107-00771-0
(Cambridge handbooks in language and linguistics)
Buch/keine Angabe 
 Inhaltsverzeichnis: 1, 2
ausleihbar  3D-Plan
Signatur: 2013 A 1152
9. The handbook of discourse analysis / edited by Deborah Schiffrin, Deborah Tannen and Heidi E. Hamilton. - 1. publ.. -
Malden, Mass. [u.a.]: Blackwell, 2001. - XX, 851 S. : graph. Darst., ISBN 978-0-631-20595-1
(Blackwell handbooks in linguistics)
Online-Ressource 
 Inhaltsverzeichnis: 1, 2
10. Schulz, Verena: Deconstructing imperial representation : Tacitus, Cassius Dio, and Suetonius on Nero and Domitian / by Verena Schulz. -
Leiden ; Boston: Brill, [2019]. - XII, 410 Seiten, ISBN 978-90-04-40721-3
(Mnemosyne : Supplements ; volume 427 : Monographs on Greek and Latin language and literature)
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 2022 A 5522
11. The Cambridge handbook of formal semantics / edited by Maria Aloni and Paul Dekker, University of Amsterdam. -
Cambridge: Cambridge University Press, 2016. - xii, 925 Seiten : Diagramme, ISBN 978-1-107-02839-5
(Cambridge Handbooks in language and linguistics)
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 2016 A 7424
12. Benthem, Johan van: The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van Benthem. - Second edition. -
Dordrecht ; Boston ; London: Kluwer Academic Publishers, [1991]. - xxii, 280 Seiten : Diagramme, ISBN 978-0-7923-1081-5
(Synthese library ; volume 156)
Buch/keine Angabe 
ausleihbar  3D-Plan
Signatur: 92 A 5648
13. Goble, Lou: The Blackwell guide to philosophical logic / edited by Lou Goble. -
Malden, Mass: Blackwell Publishers, 2001. - Online Ressource (x, 510 p.), ISBN 978-1-4051-6480-1
(Blackwell philosophy guides ; 4)
DOI: 10.1002/9781405164801
Themen: Logik | Philosophie
Online-Ressource 
14. Contemporary research in philosophical logic and linguistic semantics / proceedings of a conference held at the University of Western Ontario, London, Canada. Ed. by D. Hoc… . -
Dordrecht, Holland: Reidel, 1975. - 332 S. : graph. Darst., ISBN 978-90-277-0512-9
(The University of Western Ontario series in philosophy of science ; 4)
Buch/keine Angabe 
Signatur: 76 B 174
15. Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics, Dec. 29-30,1970 / ed. by Hugues Leblanc. -
Amsterdam: North-Holland, 1973. - 317 S.
(Studies in logic and the foundations of mathematics ; 68)
Buch/keine Angabe 
 Inhaltsverzeichnis: 1, 2
Signatur: 76 B 245
16. Garson, James W.: What logics mean : from proof theory to model-theoretic semantics / James W. Garson. -
Cambridge, UK [u.a.]: Cambridge Univ. Press, 2013. - XV, 285 S., ISBN 978-1-107-61196-2
Buch/keine Angabe 
 Inhaltsverzeichnis: 1, 2
ausleihbar  3D-Plan
Signatur: 2015 A 4734
17. Martin, John N.: Elements of formal semantics : an introduction to logic for students of language / John N. Martin. -
Orlando, Florida ; London ; Sydney: Academic Press, 1987. - X, 364 Seiten : Diagramme, ISBN 978-0-12-474856-9
Buch/keine Angabe 
Präsenznutzung
18. Ferreira, Marcelo: Curso de semântica formal / Marcelo Ferreira. -
Berlin: Language Science Press, [2019]. - 1 Online-Ressource (vii, 186 Seiten) : Diagramme, ISBN 978-3-96110-153-5
(Textbooks in language sciences ; 6)
Online-Ressource 
19. Benthem, Johan van: The logic of time : a model-theoretic investigation into the varities of temporal ontology and temporal discourse / J. F. A. K. van Benthem. -
Dordrecht [u.a.]: Reidel, c 1983. - XVI, 260 S : graph. Darst, ISBN 978-90-277-1421-3
(Synthese library ; 156)
Buch/keine Angabe 
Präsenznutzung
20. Polarity-sensitive expressions : comparisons between Japanese and other languages / edited by Hideki Kishimoto, Osamu Sawada and Ikumi Imani. -
Berlin ; Boston: De Gruyter Mouton, [2024]. - 1 Online-Ressource (XIV, 458 p.), ISBN 978-3-11-075512-1
(The Mouton-NINJAL library of linguistics ; volume 7)
DOI: 10.1515/9783110755121
Online-Ressource 
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang