Arama Sonuçları Logic. - Daraltılmış: Logica Matematica.

Arama Sonuçları Logic. - Daraltılmış: Logica Matematica. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Logica$002bMatematica.$002509Logica$002bMatematica.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-07-20T21:28:43Z Combinatory logic ent://SD_ILS/0/SD_ILS:1192351 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by Curry, Haskell B. (Haskell Brooks), 1900-1982.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444533876">https://www.sciencedirect.com/science/book/9780444533876</a> ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/22">https://www.sciencedirect.com/science/bookseries/0049237X/22</a> ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=22">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=22</a><br/>Format: Elektronik Kaynak<br/> Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics ent://SD_ILS/0/SD_ILS:1192171 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by 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: Elektronik Kaynak<br/> The lambda calculus : its syntax and semantics ent://SD_ILS/0/SD_ILS:1192570 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by 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: Elektronik Kaynak<br/> Constructivism in mathematics : an introduction ent://SD_ILS/0/SD_ILS:1182619 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by Troelstra, A. S. (Anne Sjerp)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444703583">http://www.sciencedirect.com/science/book/9780444703583</a><br/>Format: Elektronik Kaynak<br/> A transfinite type theory with type variables ent://SD_ILS/0/SD_ILS:1192359 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by 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: Elektronik Kaynak<br/> Classification theory and the number of non-isomorphic models ent://SD_ILS/0/SD_ILS:1191704 2026-07-20T21:28:43Z 2026-07-20T21:28:43Z by Shelah, Saharon.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702609">http://www.sciencedirect.com/science/book/9780444702609</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=92">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=92</a><br/>Format: Elektronik Kaynak<br/>