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
|
|
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
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
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
|
|
|
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
|
|
|
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
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
|
|
|