Arama Sonuçları - Daraltılmış: English - Elsevier E-Kitap Koleksiyonu - Logic, Symbolic and mathematical.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253AELSBOOK$002509Elsevier$002bE-Kitap$002bKoleksiyonu$0026qf$003dSUBJECT$002509Konu$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300?dt=list2024-09-23T09:41:29ZHandbook of logic and languageent://SD_ILS/0/SD_ILS:11835282024-09-23T09:41:29Z2024-09-23T09:41:29Zby Benthem, Johan van, 1949-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Elektronik Kaynak<br/>Realizability : an introduction to its categorical sideent://SD_ILS/0/SD_ILS:11896272024-09-23T09:41:29Z2024-09-23T09:41:29Zby Oosten, Jaap van.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515841">http://www.sciencedirect.com/science/book/9780444515841</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152</a><br/>Format: Elektronik Kaynak<br/>Handbook of the logic of argument and inference : the turn towards the practicalent://SD_ILS/0/SD_ILS:11873692024-09-23T09:41:29Z2024-09-23T09:41:29Zby Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=1">http://www.sciencedirect.com/science/publication?issn=15702464&volume=1</a><br/>Format: Elektronik Kaynak<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:11885432024-09-23T09:41:29Z2024-09-23T09:41:29Zby Enderton, Herbert B.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122384523">http://www.sciencedirect.com/science/book/9780122384523</a><br/>Format: Elektronik Kaynak<br/>Mathematical logicent://SD_ILS/0/SD_ILS:11873472024-09-23T09:41:29Z2024-09-23T09:41:29Zby Turing, Alan, 1912-1954.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444504234">https://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektronik Kaynak<br/>From Peirce to Skolem : a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:11862132024-09-23T09:41:29Z2024-09-23T09:41:29Zby Brady, Geraldine.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=09282017&volume=4">http://www.sciencedirect.com/science/publication?issn=09282017&volume=4</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/09282017/4">http://www.sciencedirect.com/science/bookseries/09282017/4</a><br/>Format: Elektronik Kaynak<br/>Admissibility of logical inference rulesent://SD_ILS/0/SD_ILS:11859052024-09-23T09:41:29Z2024-09-23T09:41:29Zby Rybakov, Vladimir V. (Vladimir Vladimir), 1961-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444895059">https://www.sciencedirect.com/science/book/9780444895059</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/136">https://www.sciencedirect.com/science/bookseries/0049237X/136</a><br/>Format: Elektronik Kaynak<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:11859182024-09-23T09:41:29Z2024-09-23T09:41:29Zby Benthem, Johan van, 1949-<br/><a href="http://www.sciencedirect.com/science/book/9780444817143">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444817143">https://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Elektronik Kaynak<br/>Logical frameworks for truth and abstraction : an axiomatic studyent://SD_ILS/0/SD_ILS:11857362024-09-23T09:41:29Z2024-09-23T09:41:29Zby Cantini, Andrea.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/135">http://www.sciencedirect.com/science/bookseries/0049237X/135</a><br/>Format: Elektronik Kaynak<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:11859292024-09-23T09:41:29Z2024-09-23T09:41:29Zby Metakides, George, 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Elektronik Kaynak<br/>Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:11860952024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/134">http://www.sciencedirect.com/science/bookseries/0049237X/134</a><br/>Format: Elektronik Kaynak<br/>Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)ent://SD_ILS/0/SD_ILS:11841862024-09-23T09:41:29Z2024-09-23T09:41:29Zby Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781483214535">http://www.sciencedirect.com/science/book/9781483214535</a><br/>Format: Elektronik Kaynak<br/>Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92ent://SD_ILS/0/SD_ILS:11832042024-09-23T09:41:29Z2024-09-23T09:41:29Zby IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898807">http://www.sciencedirect.com/science/book/9780444898807</a><br/>Format: Elektronik Kaynak<br/>Language in action : categories, lambdas, and dynamic logicent://SD_ILS/0/SD_ILS:11932072024-09-23T09:41:29Z2024-09-23T09:41:29Zby Benthem, Johan van, 1949-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444890009">https://www.sciencedirect.com/science/book/9780444890009</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/130">https://www.sciencedirect.com/science/bookseries/0049237X/130</a><br/>Format: Elektronik Kaynak<br/>Logic-based decision support : mixed integer model formulationent://SD_ILS/0/SD_ILS:11909642024-09-23T09:41:29Z2024-09-23T09:41:29Zby Jeroslow, Robert G., 1942-1988.<br/><a href="https://www.sciencedirect.com/science/bookseries/01675060/40">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=01675060&volume=40">http://www.sciencedirect.com/science/publication?issn=01675060&volume=40</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444871190">https://www.sciencedirect.com/science/book/9780444871190</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:11913412024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1988 : Padova, Italy)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:11915752024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1987 : Granada, Spain)<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/129">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444880222">https://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Elektronik Kaynak<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:11917102024-09-23T09:41:29Z2024-09-23T09:41:29Zby Börger, E. (Egon), 1946-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128</a><br/>Format: Elektronik Kaynak<br/>A computational logic handbookent://SD_ILS/0/SD_ILS:11778692024-09-23T09:41:29Z2024-09-23T09:41:29Zby Boyer, Robert S.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121229528">http://www.sciencedirect.com/science/book/9780121229528</a><br/>Format: Elektronik Kaynak<br/>Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:11922242024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1985 : Orsay, France)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444702111">https://www.sciencedirect.com/science/book/9780444702111</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/122">https://www.sciencedirect.com/science/bookseries/0049237X/122</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=122">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=122</a><br/>Format: Elektronik Kaynak<br/>Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, Californiaent://SD_ILS/0/SD_ILS:11751622024-09-23T09:41:29Z2024-09-23T09:41:29Zby Halpern, Joseph Y., 1953-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780934613040">https://www.sciencedirect.com/science/book/9780934613040</a><br/>Format: Elektronik Kaynak<br/>Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983ent://SD_ILS/0/SD_ILS:11812652024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876560">http://www.sciencedirect.com/science/book/9780444876560</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444876560">https://www.sciencedirect.com/science/book/9780444876560</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:11913402024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium '84 (1984 : Manchester)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444879998">https://www.sciencedirect.com/science/book/9780444879998</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/120">https://www.sciencedirect.com/science/bookseries/0049237X/120</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:11910772024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium '82 (Florence)<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/112">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444868763">https://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Elektronik Kaynak<br/>Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:11913382024-09-23T09:41:29Z2024-09-23T09:41:29Zby Southeast Asian Conference on Logic (1981 : Singapore)<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/111">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=111">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=111</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444867063">https://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Elektronik Kaynak<br/>Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:11913352024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/104">Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104</a><br/>Format: Elektronik Kaynak<br/>Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:11913362024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1981 : Marseille, France)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107</a><br/>Format: Elektronik Kaynak<br/>Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:11915722024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Symposion (1980 : Patra, Greece)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:11921352024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1980 : Prague, Czech Republic)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/108">http://www.sciencedirect.com/science/bookseries/0049237X/108</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=108">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=108</a><br/>Format: Elektronik Kaynak<br/>Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:11923232024-09-23T09:41:29Z2024-09-23T09:41:29Zby Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Elektronik Kaynak<br/>Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:11921342024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1978 : Mons, Belgium)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/97">http://www.sciencedirect.com/science/bookseries/0049237X/97</a><br/>Format: Elektronik Kaynak<br/>Foundational studies : selected works. Volume IIent://SD_ILS/0/SD_ILS:11923242024-09-23T09:41:29Z2024-09-23T09:41:29Zby Mostowski, Andrzej.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB">http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB</a><br/>Format: Elektronik Kaynak<br/>Foundational studies : selected works. Volume Ient://SD_ILS/0/SD_ILS:11925332024-09-23T09:41:29Z2024-09-23T09:41:29Zby Mostowski, Andrzej.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444851024">https://www.sciencedirect.com/science/book/9780444851024</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA">https://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/issue/42455-1979-999069999.7998-933073">https://www.sciencedirect.com/science/issue/42455-1979-999069999.7998-933073</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:11923222024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1977 : Wrocław, Poland)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/96">http://www.sciencedirect.com/science/bookseries/0049237X/96</a><br/>Format: Elektronik Kaynak<br/>Handbook of mathematical logicent://SD_ILS/0/SD_ILS:11925692024-09-23T09:41:29Z2024-09-23T09:41:29Zby Barwise, Jon.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444863881">https://www.sciencedirect.com/science/book/9780444863881</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/90">https://www.sciencedirect.com/science/bookseries/0049237X/90</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=90">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=90</a>
<a href="http://www.sciencedirect.com/science/book/9780444863881">http://www.sciencedirect.com/science/book/9780444863881</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:11924422024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1976 : Oxford)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Elektronik Kaynak<br/>Intensional and higher-order modal logic : with applications to Montague semanticsent://SD_ILS/0/SD_ILS:11915082024-09-23T09:41:29Z2024-09-23T09:41:29Zby Gallin, Daniel.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444110022">http://www.sciencedirect.com/science/book/9780444110022</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=19">http://www.sciencedirect.com/science/publication?issn=03040208&volume=19</a><br/>Format: Elektronik Kaynak<br/>Logic colloquium '73 : proceedingsent://SD_ILS/0/SD_ILS:11836532024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (1973 : Bristol)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=82">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=82</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444106421">https://www.sciencedirect.com/science/book/9780444106421</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/80">https://www.sciencedirect.com/science/bookseries/0049237X/80</a><br/>Format: Elektronik Kaynak<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:11773952024-09-23T09:41:29Z2024-09-23T09:41:29Zby Chang, Chin-Liang, 1937-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780080917283">https://www.sciencedirect.com/science/book/9780080917283</a><br/>Format: Elektronik Kaynak<br/>Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semanticsent://SD_ILS/0/SD_ILS:11921712024-09-23T09:41:29Z2024-09-23T09:41:29Zby 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/>Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:11924382024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/74">http://www.sciencedirect.com/science/bookseries/0049237X/74</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74</a><br/>Format: Elektronik Kaynak<br/>Contributions to non-standard analysisent://SD_ILS/0/SD_ILS:11923662024-09-23T09:41:29Z2024-09-23T09:41:29Zby Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720420654">http://www.sciencedirect.com/science/book/9780720420654</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69</a><br/>Format: Elektronik Kaynak<br/>Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:11921332024-09-23T09:41:29Z2024-09-23T09:41:29Zby Summer School in Logic (14th : 1969 : Manchester, England)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektronik Kaynak<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:11922142024-09-23T09:41:29Z2024-09-23T09:41:29Zby Aĭzerman, M. A. (Mark Aronovich), 1913-1992.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Elektronik Kaynak<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:11924362024-09-23T09:41:29Z2024-09-23T09:41:29Zby Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780720422597">https://www.sciencedirect.com/science/book/9780720422597</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/63">https://www.sciencedirect.com/science/bookseries/0049237X/63</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63</a><br/>Format: Elektronik Kaynak<br/>Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.ent://SD_ILS/0/SD_ILS:11921322024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59</a><br/>Format: Elektronik Kaynak<br/>Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968ent://SD_ILS/0/SD_ILS:11922232024-09-23T09:41:29Z2024-09-23T09:41:29Zby Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www.sciencedirect.com/science/book/9780720422573</a><br/>Format: Elektronik Kaynak<br/>The algebraic theory of switching circuitsent://SD_ILS/0/SD_ILS:11836062024-09-23T09:41:29Z2024-09-23T09:41:29Zby Moisil, Grigore C.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080101484">http://www.sciencedirect.com/science/book/9780080101484</a><br/>Format: Elektronik Kaynak<br/>The collected papers of Gerhard Gentzenent://SD_ILS/0/SD_ILS:11924662024-09-23T09:41:29Z2024-09-23T09:41:29Zby Szabo, M. E.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534194">http://www.sciencedirect.com/science/book/9780444534194</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/55">http://www.sciencedirect.com/science/bookseries/0049237X/55</a><br/>Format: Elektronik Kaynak<br/>Constructive order typesent://SD_ILS/0/SD_ILS:11925652024-09-23T09:41:29Z2024-09-23T09:41:29Zby Crossley, John N.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444534200">https://www.sciencedirect.com/science/book/9780444534200</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/56">https://www.sciencedirect.com/science/bookseries/0049237X/56</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=56">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=56</a><br/>Format: Elektronik Kaynak<br/>Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:11924642024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (11th : 1966 : Hannover, Germany)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Elektronik Kaynak<br/>Algebraic methods of mathematical logicent://SD_ILS/0/SD_ILS:11822302024-09-23T09:41:29Z2024-09-23T09:41:29Zby Rieger, Ladislav, 1916-1963.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781483231235">http://www.sciencedirect.com/science/book/9781483231235</a><br/>Format: Elektronik Kaynak<br/>Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:11923642024-09-23T09:41:29Z2024-09-23T09:41:29Zby Logic Colloquium (10th : 1965 : University of Leicester)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektronik Kaynak<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:11925622024-09-23T09:41:29Z2024-09-23T09:41:29Zby Kreisel, Georg.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444534125">https://www.sciencedirect.com/science/book/9780444534125</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/48">https://www.sciencedirect.com/science/bookseries/0049237X/48</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=48">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=48</a><br/>Format: Elektronik Kaynak<br/>Logic, methodology and philosophy of science : proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:11923632024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Congress of Logic, Methodology, and Philosophy of Science (1960)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Elektronik Kaynak<br/>Non-standard analysis.ent://SD_ILS/0/SD_ILS:11924622024-09-23T09:41:29Z2024-09-23T09:41:29Zby Robinson, Abraham, 1918-1974.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444534071">https://www.sciencedirect.com/science/book/9780444534071</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/42">https://www.sciencedirect.com/science/bookseries/0049237X/42</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=42">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=42</a><br/>Format: Elektronik Kaynak<br/>The theory of models proceedings.ent://SD_ILS/0/SD_ILS:11771422024-09-23T09:41:29Z2024-09-23T09:41:29Zby International Symposium on the Theory of Models (1963 : Berkeley, Calif.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422337">http://www.sciencedirect.com/science/book/9780720422337</a><br/>Format: Elektronik Kaynak<br/>A theory of setsent://SD_ILS/0/SD_ILS:11914002024-09-23T09:41:29Z2024-09-23T09:41:29Zby Morse, Anthony P. (Anthony Perry)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780123745675">https://www.sciencedirect.com/science/book/9780123745675</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=00798169&volume=18">https://www.sciencedirect.com/science/publication?issn=00798169&volume=18</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/00798169/18">https://www.sciencedirect.com/science/bookseries/00798169/18</a><br/>Format: Elektronik Kaynak<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:11923612024-09-23T09:41:29Z2024-09-23T09:41:29Zby Crossley, John N.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40</a><br/>Format: Elektronik Kaynak<br/>Languages with expressions of infinite lengthent://SD_ILS/0/SD_ILS:11923582024-09-23T09:41:29Z2024-09-23T09:41:29Zby Karp, Carol, 1926-1972.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534019">http://www.sciencedirect.com/science/book/9780444534019</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=36">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=36</a><br/>Format: Elektronik Kaynak<br/>A survey of mathematical logicent://SD_ILS/0/SD_ILS:11925582024-09-23T09:41:29Z2024-09-23T09:41:29Zby Wang, Hao, 1921-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Elektronik Kaynak<br/>Topics in engineering logic.ent://SD_ILS/0/SD_ILS:11780652024-09-23T09:41:29Z2024-09-23T09:41:29Zby Nadler, Morton.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080097022">http://www.sciencedirect.com/science/book/9780080097022</a><br/>Format: Elektronik Kaynak<br/>The logical systems of Lesniewski.ent://SD_ILS/0/SD_ILS:11925562024-09-23T09:41:29Z2024-09-23T09:41:29Zby Luschei, Eugene C.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533951">http://www.sciencedirect.com/science/book/9780444533951</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=30">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=30</a><br/>Format: Elektronik Kaynak<br/>The axiomatic methodent://SD_ILS/0/SD_ILS:11924612024-09-23T09:41:29Z2024-09-23T09:41:29Zby Henkin, Leon.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533920">http://www.sciencedirect.com/science/book/9780444533920</a><br/>Format: Elektronik Kaynak<br/>Intuitionism : an introductionent://SD_ILS/0/SD_ILS:11925522024-09-23T09:41:29Z2024-09-23T09:41:29Zby Heyting, A. (Arend), 1898-1980.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533821">http://www.sciencedirect.com/science/book/9780444533821</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17</a><br/>Format: Elektronik Kaynak<br/>Mathematical interpretation of formal systemsent://SD_ILS/0/SD_ILS:11924582024-09-23T09:41:29Z2024-09-23T09:41:29Zby Wiskundig Genootschap (Netherlands)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444533814">https://www.sciencedirect.com/science/book/9780444533814</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/16">https://www.sciencedirect.com/science/bookseries/0049237X/16</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=16">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=16</a><br/>Format: Elektronik Kaynak<br/>Solvable cases of the decision problem.ent://SD_ILS/0/SD_ILS:11924572024-09-23T09:41:29Z2024-09-23T09:41:29Zby Ackermann, W. (Wilhelm), 1896-1962.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444533807">https://www.sciencedirect.com/science/book/9780444533807</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/15">https://www.sciencedirect.com/science/bookseries/0049237X/15</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=15">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=15</a><br/>Format: Elektronik Kaynak<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:11923462024-09-23T09:41:29Z2024-09-23T09:41:29Zby Mostowski, Andrzej.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533753">http://www.sciencedirect.com/science/book/9780444533753</a><br/>Format: Elektronik Kaynak<br/>