Arama Sonuçları - Daraltılmış: English - Elsevier E-Kitap Koleksiyonu - MATHEMATICS -- Infinity.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$002509MATHEMATICS$002b--$002bInfinity.$002509MATHEMATICS$002b--$002bInfinity.$0026ps$003d300?dt=list2024-09-23T12:42:27ZResiduated lattices : an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:11857192024-09-23T12:42:27Z2024-09-23T12:42:27Zby Galatos, Nikolaos.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444521415">https://www.sciencedirect.com/science/book/9780444521415</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=151">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=151</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/151">https://www.sciencedirect.com/science/bookseries/0049237X/151</a><br/>Format: Elektronik Kaynak<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:11863682024-09-23T12:42:27Z2024-09-23T12:42:27Zby Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">http://www.sciencedirect.com/science/publication?issn=18745857&volume=8</a><br/>Format: Elektronik Kaynak<br/>Real analysis : with an introduction to wavelets and applicationsent://SD_ILS/0/SD_ILS:11850502024-09-23T12:42:27Z2024-09-23T12:42:27Zby Hong, Don.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780123548610">https://www.sciencedirect.com/science/book/9780123548610</a><br/>Format: Elektronik Kaynak<br/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:11854382024-09-23T12:42:27Z2024-09-23T12:42:27Zby Cupillari, Antonella.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780120885091">https://www.sciencedirect.com/science/book/9780120885091</a><br/>Format: Elektronik Kaynak<br/>Numerical analysis of wavelet methodsent://SD_ILS/0/SD_ILS:11874222024-09-23T12:42:27Z2024-09-23T12:42:27Zby Cohen, Albert, 1965-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444511249">http://www.sciencedirect.com/science/book/9780444511249</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=01682024&volume=32">http://www.sciencedirect.com/science/publication?issn=01682024&volume=32</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/01682024/32">http://www.sciencedirect.com/science/bookseries/01682024/32</a><br/>Format: Elektronik Kaynak<br/>Beyond waveletsent://SD_ILS/0/SD_ILS:11849952024-09-23T12:42:27Z2024-09-23T12:42:27Zby Welland, Grant V.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780127432731">https://www.sciencedirect.com/science/book/9780127432731</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=1570579X&volume=10">https://www.sciencedirect.com/science/publication?issn=1570579X&volume=10</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/1570579X/10">https://www.sciencedirect.com/science/bookseries/1570579X/10</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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Relation algebras by gamesent://SD_ILS/0/SD_ILS:11860632024-09-23T12:42:27Z2024-09-23T12:42:27Zby Hirsch, R. (Robin)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444509321">http://www.sciencedirect.com/science/book/9780444509321</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=147">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=147</a><br/>Format: Elektronik Kaynak<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:11885432024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Handbook of process algebraent://SD_ILS/0/SD_ILS:11862062024-09-23T12:42:27Z2024-09-23T12:42:27Zby Bergstra, J. A.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444828309">https://www.sciencedirect.com/science/book/9780444828309</a><br/>Format: Elektronik Kaynak<br/>Computable structures and the hyperarithmetical hierarchyent://SD_ILS/0/SD_ILS:11861962024-09-23T12:42:27Z2024-09-23T12:42:27Zby Ash, C. J.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444500724">https://www.sciencedirect.com/science/book/9780444500724</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=144">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=144</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/144">https://www.sciencedirect.com/science/bookseries/0049237X/144</a><br/>Format: Elektronik Kaynak<br/>Cafe : an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:11862072024-09-23T12:42:27Z2024-09-23T12:42:27Zby Futatsugi, Kokichi.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444505569">https://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Elektronik Kaynak<br/>Quantum theoretic machines : what is thought from the point of view of physicsent://SD_ILS/0/SD_ILS:11862102024-09-23T12:42:27Z2024-09-23T12:42:27Zby Stern, August, 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444826183">http://www.sciencedirect.com/science/book/9780444826183</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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Handbook of computability theoryent://SD_ILS/0/SD_ILS:11857462024-09-23T12:42:27Z2024-09-23T12:42:27Zby Griffor, Edward R.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/140">http://www.sciencedirect.com/science/bookseries/0049237X/140</a><br/>Format: Elektronik Kaynak<br/>Handbook of proof theoryent://SD_ILS/0/SD_ILS:11859732024-09-23T12:42:27Z2024-09-23T12:42:27Zby Buss, Samuel R.<br/><a href="http://www.sciencedirect.com/science/bookseries/0049237X">to access electronic resource via ScienceDirect</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898401">http://www.sciencedirect.com/science/book/9780444898401</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137</a><br/>Format: Elektronik Kaynak<br/>Admissibility of logical inference rulesent://SD_ILS/0/SD_ILS:11859052024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Multiscale wavelet methods for partial differential equationsent://SD_ILS/0/SD_ILS:11845532024-09-23T12:42:27Z2024-09-23T12:42:27Zby Dahmen, Wolfgang, 1949-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122006753">http://www.sciencedirect.com/science/book/9780122006753</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/1874608X/6">http://www.sciencedirect.com/science/bookseries/1874608X/6</a><br/>Format: Elektronik Kaynak<br/>Logical frameworks for truth and abstraction : an axiomatic studyent://SD_ILS/0/SD_ILS:11857362024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Selected papers on Automathent://SD_ILS/0/SD_ILS:11915762024-09-23T12:42:27Z2024-09-23T12:42:27Zby Nederpelt, R. P. (Rob P.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898227">http://www.sciencedirect.com/science/book/9780444898227</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=133">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=133</a><br/>Format: Elektronik Kaynak<br/>Symmetries and Laplacians : introduction to harmonic analysis, group representations, and applicationsent://SD_ILS/0/SD_ILS:11912752024-09-23T12:42:27Z2024-09-23T12:42:27Zby Gurarie, David.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444886125">http://www.sciencedirect.com/science/book/9780444886125</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=174">http://www.sciencedirect.com/science/publication?issn=03040208&volume=174</a><br/>Format: Elektronik Kaynak<br/>Classical recursion theory : the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:11917082024-09-23T12:42:27Z2024-09-23T12:42:27Zby Odifreddi, Piergiorgio, 1950-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125</a><br/>Format: Elektronik Kaynak<br/>Algebraic and structural automata theoryent://SD_ILS/0/SD_ILS:11910942024-09-23T12:42:27Z2024-09-23T12:42:27Zby Mikołajczak, Bolesław.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874580">http://www.sciencedirect.com/science/book/9780444874580</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=01675060&volume=44">http://www.sciencedirect.com/science/publication?issn=01675060&volume=44</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-23T12:42:27Z2024-09-23T12:42:27Zby 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-23T12:42:27Z2024-09-23T12:42:27Zby 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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Constructivism in mathematics : an introduction. Volume 1ent://SD_ILS/0/SD_ILS:11812562024-09-23T12:42:27Z2024-09-23T12:42:27Zby Troelstra, A. S. (Anne Sjerp)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702661">http://www.sciencedirect.com/science/book/9780444702661</a><br/>Format: Elektronik Kaynak<br/>Real-variable methods in harmonic analysisent://SD_ILS/0/SD_ILS:11915512024-09-23T12:42:27Z2024-09-23T12:42:27Zby Torchinsky, Alberto.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780126954609">http://www.sciencedirect.com/science/book/9780126954609</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00798169&volume=123">http://www.sciencedirect.com/science/publication?issn=00798169&volume=123</a><br/>Format: Elektronik Kaynak<br/>Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryent://SD_ILS/0/SD_ILS:11917032024-09-23T12:42:27Z2024-09-23T12:42:27Zby Hailperin, Theodore.<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/85">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/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=85">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=85</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/85">http://www.sciencedirect.com/science/bookseries/0049237X/85</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444879523">https://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Elektronik Kaynak<br/>Harvey Friedman's research on the foundations of mathematicsent://SD_ILS/0/SD_ILS:11915742024-09-23T12:42:27Z2024-09-23T12:42:27Zby Friedman, Harvey, 1948-<br/><a href="https://www.sciencedirect.com/science/bookseries/0049237X/117">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/9780444878342">http://www.sciencedirect.com/science/book/9780444878342</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=117">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=117</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/117">http://www.sciencedirect.com/science/bookseries/0049237X/117</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444878342">https://www.sciencedirect.com/science/book/9780444878342</a><br/>Format: Elektronik Kaynak<br/>Orders--description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982ent://SD_ILS/0/SD_ILS:11915202024-09-23T12:42:27Z2024-09-23T12:42:27Zby Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876010">http://www.sciencedirect.com/science/book/9780444876010</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=99">http://www.sciencedirect.com/science/publication?issn=03040208&volume=99</a><br/>Format: Elektronik Kaynak<br/>The lambda calculus : its syntax and semanticsent://SD_ILS/0/SD_ILS:11925702024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Sequence transformations and their applicationsent://SD_ILS/0/SD_ILS:11907162024-09-23T12:42:27Z2024-09-23T12:42:27Zby Wimp, Jet.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127579405">http://www.sciencedirect.com/science/book/9780127579405</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00765392&volume=154">http://www.sciencedirect.com/science/publication?issn=00765392&volume=154</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/00765392/154">http://www.sciencedirect.com/science/bookseries/00765392/154</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780127579405">https://www.sciencedirect.com/science/book/9780127579405</a><br/>Format: Elektronik Kaynak<br/>Real variable methods in Fourier analysisent://SD_ILS/0/SD_ILS:11912442024-09-23T12:42:27Z2024-09-23T12:42:27Zby Guzmán, Miguel de, 1936-2004.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861245">http://www.sciencedirect.com/science/book/9780444861245</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=46">http://www.sciencedirect.com/science/publication?issn=03040208&volume=46</a><br/>Format: Elektronik Kaynak<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:11915712024-09-23T12:42:27Z2024-09-23T12:42:27Zby Fitting, Melvin, 1942-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=105">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=105</a><br/>Format: Elektronik Kaynak<br/>An introduction to nonharmonic Fourier seriesent://SD_ILS/0/SD_ILS:11909362024-09-23T12:42:27Z2024-09-23T12:42:27Zby Young, Robert M.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127728506">http://www.sciencedirect.com/science/book/9780127728506</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00798169&volume=93">http://www.sciencedirect.com/science/publication?issn=00798169&volume=93</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/00798169/93">http://www.sciencedirect.com/science/bookseries/00798169/93</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780127728506">https://www.sciencedirect.com/science/book/9780127728506</a><br/>Format: Elektronik Kaynak<br/>Fuzzy sets and systems : theory and applicationsent://SD_ILS/0/SD_ILS:11912142024-09-23T12:42:27Z2024-09-23T12:42:27Zby Dubois, Didier.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780122227509">https://www.sciencedirect.com/science/book/9780122227509</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=00765392&volume=144">https://www.sciencedirect.com/science/publication?issn=00765392&volume=144</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/00765392/144">https://www.sciencedirect.com/science/bookseries/00765392/144</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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Descriptive set theoryent://SD_ILS/0/SD_ILS:11929802024-09-23T12:42:27Z2024-09-23T12:42:27Zby Moschovakis, Yiannis N.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444701992">http://www.sciencedirect.com/science/book/9780444701992</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-23T12:42:27Z2024-09-23T12:42:27Zby 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 Ient://SD_ILS/0/SD_ILS:11925332024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Set theoryent://SD_ILS/0/SD_ILS:11909332024-09-23T12:42:27Z2024-09-23T12:42:27Zby Jech, Thomas J.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123819505">http://www.sciencedirect.com/science/book/9780123819505</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534170">http://www.sciencedirect.com/science/book/9780444534170</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00798169&volume=79">http://www.sciencedirect.com/science/publication?issn=00798169&volume=79</a><br/>Format: Elektronik Kaynak<br/>General lattice theoryent://SD_ILS/0/SD_ILS:11910732024-09-23T12:42:27Z2024-09-23T12:42:27Zby Gratzer, George A.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122957505">http://www.sciencedirect.com/science/book/9780122957505</a><br/>Format: Elektronik Kaynak<br/>Generalized recursion theory II : proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:11923212024-09-23T12:42:27Z2024-09-23T12:42:27Zby Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Algebra of proofsent://SD_ILS/0/SD_ILS:11924432024-09-23T12:42:27Z2024-09-23T12:42:27Zby Szabo, M. E.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780720422863">https://www.sciencedirect.com/science/book/9780720422863</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/88">https://www.sciencedirect.com/science/bookseries/0049237X/88</a><br/>Format: Elektronik Kaynak<br/>Handbook of mathematical logicent://SD_ILS/0/SD_ILS:11925692024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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-23T12:42:27Z2024-09-23T12:42:27Zby 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/>Combinatorial set theoryent://SD_ILS/0/SD_ILS:11925312024-09-23T12:42:27Z2024-09-23T12:42:27Zby Williams, Neil H.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407228">http://www.sciencedirect.com/science/book/9780720407228</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/91">http://www.sciencedirect.com/science/bookseries/0049237X/91</a><br/>Format: Elektronik Kaynak<br/>Sets and classes : on the work by Paul Bernaysent://SD_ILS/0/SD_ILS:11923192024-09-23T12:42:27Z2024-09-23T12:42:27Zby Bernays, Paul, 1888-1977.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422849">http://www.sciencedirect.com/science/book/9780720422849</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/84">http://www.sciencedirect.com/science/bookseries/0049237X/84</a><br/>Format: Elektronik Kaynak<br/>Set theory : with an introduction to descriptive set theoryent://SD_ILS/0/SD_ILS:11924412024-09-23T12:42:27Z2024-09-23T12:42:27Zby Kuratowski, Kazimierz, 1896-1980.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720404708">http://www.sciencedirect.com/science/book/9780720404708</a><br/>Format: Elektronik Kaynak<br/>Large infinitary languages : model theoryent://SD_ILS/0/SD_ILS:11923182024-09-23T12:42:27Z2024-09-23T12:42:27Zby Dickmann, M. A., 1940-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444106223">http://www.sciencedirect.com/science/book/9780444106223</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=83">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=83</a><br/>Format: Elektronik Kaynak<br/>Proof theoryent://SD_ILS/0/SD_ILS:11924402024-09-23T12:42:27Z2024-09-23T12:42:27Zby Takeuti, Gaisi, 1926-2017.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104922">http://www.sciencedirect.com/science/book/9780444104922</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/81">http://www.sciencedirect.com/science/bookseries/0049237X/81</a><br/>Format: Elektronik Kaynak<br/>Generalized recursion theory : Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:11921722024-09-23T12:42:27Z2024-09-23T12:42:27Zby Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format: Elektronik Kaynak<br/>Logic in algebraic form : Three languages and theoriesent://SD_ILS/0/SD_ILS:11923162024-09-23T12:42:27Z2024-09-23T12:42:27Zby Craig, William, 1918-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/72">http://www.sciencedirect.com/science/bookseries/0049237X/72</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=72">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=72</a><br/>Format: Elektronik Kaynak<br/>The axiom of choiceent://SD_ILS/0/SD_ILS:11925292024-09-23T12:42:27Z2024-09-23T12:42:27Zby Jech, Thomas J.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444104847">https://www.sciencedirect.com/science/book/9780444104847</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/75">https://www.sciencedirect.com/science/bookseries/0049237X/75</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=75">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=75</a><br/>Format: Elektronik Kaynak<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:11923142024-09-23T12:42:27Z2024-09-23T12:42:27Zby Curry, Haskell B. (Haskell Brooks), 1900-1982.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Elektronik Kaynak<br/>The theory of semisetsent://SD_ILS/0/SD_ILS:11924372024-09-23T12:42:27Z2024-09-23T12:42:27Zby Vopěnka, Petr.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422672">http://www.sciencedirect.com/science/book/9780720422672</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=70">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=70</a><br/>Format: Elektronik Kaynak<br/>Degrees of unsolvabilityent://SD_ILS/0/SD_ILS:11908952024-09-23T12:42:27Z2024-09-23T12:42:27Zby Shoenfield, Joseph Robert.<br/><a href="https://www.sciencedirect.com/science/bookseries/03040208/2">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/9780720420616">http://www.sciencedirect.com/science/book/9780720420616</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=2">http://www.sciencedirect.com/science/publication?issn=03040208&volume=2</a><br/>Format: Elektronik Kaynak<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:11924362024-09-23T12:42:27Z2024-09-23T12:42:27Zby 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/>