Search Results for Semantics. - Narrowed by: Logica Matematica. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dSemantics.$0026qf$003dSUBJECT$002509Subject$002509Logica$002bMatematica.$002509Logica$002bMatematica.$0026ps$003d300?dt=list 2026-04-05T16:14:43Z The lambda calculus : its syntax and semantics ent://SD_ILS/0/SD_ILS:1192570 2026-04-05T16:14:43Z 2026-04-05T16:14:43Z by&#160;Barendregt, H. P. (Hendrik Pieter)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444875082">http://www.sciencedirect.com/science/book/9780444875082</a> ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/103">http://www.sciencedirect.com/science/bookseries/0049237X/103</a><br/>Format:&#160;Electronic Resources<br/> Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics ent://SD_ILS/0/SD_ILS:1192171 2026-04-05T16:14:43Z 2026-04-05T16:14:43Z by&#160;Conference on Alternative Semantics (1970 : Temple University)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422696">http://www.sciencedirect.com/science/book/9780720422696</a> ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/68">http://www.sciencedirect.com/science/bookseries/0049237X/68</a><br/>Format:&#160;Electronic Resources<br/> A transfinite type theory with type variables ent://SD_ILS/0/SD_ILS:1192359 2026-04-05T16:14:43Z 2026-04-05T16:14:43Z by&#160;Andrews, P. B. (Peter Bruce), 1937-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534026">http://www.sciencedirect.com/science/book/9780444534026</a> ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37</a><br/>Format:&#160;Electronic Resources<br/>