Arama Sonuçları - Daraltılmış: Conference papers and proceedings. - Logic, Symbolic and mathematical -- Congresses.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Conference$002bpapers$002band$002bproceedings.$002509Conference$002bpapers$002band$002bproceedings.$0026qf$003dSUBJECT$002509Konu$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bCongresses.$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bCongresses.$0026ps$003d300;jsessionid=5129EF89F6D488550C09BB243FF38E6C?2024-06-08T12:06:34ZLogic, 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:11913412024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, Californiaent://SD_ILS/0/SD_ILS:11751622024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:11913382024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:11923222024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:11924422024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Logic colloquium '73 : proceedingsent://SD_ILS/0/SD_ILS:11836532024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semanticsent://SD_ILS/0/SD_ILS:11921712024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:11924362024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968ent://SD_ILS/0/SD_ILS:11922232024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:11924642024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>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-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Logic, methodology and philosophy of science : proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:11923632024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>The theory of models proceedings.ent://SD_ILS/0/SD_ILS:11771422024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:11923612024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>The axiomatic methodent://SD_ILS/0/SD_ILS:11924612024-06-08T12:06:34Z2024-06-08T12:06:34Zby 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/>