Results of search for 'ccl=su:"Mathematical logic."'

Results
		Descriptive complexity / Neil Immerman. by Immerman, Neil, 1953- Series: Graduate texts in computer science Language: İngilizce Publisher: New York : Springer, c1999 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267.7 .I46 1999. Place hold Add to cart (remove)
		Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich, 1958- Thomas, Wolfgang, 1947- Wilke, Thomas, 1965- Series: Lecture notes in computer science ; 2500 Language: İngilizce Publisher: Berlin ; New York : Springer, 2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.M35 A85 2002. Place hold Add to cart (remove)
		Logic, sets, and recursion / Robert L. Causey. by Causey, Robert L Series: Jones and Bartlett books in mathematics Edition: Rev. ed. Language: İngilizce Publisher: Sudbury, Mass. : Jones and Bartlett, c2001 Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon QA9 .C347 2001, ... Place hold Add to cart (remove)
		Logic and complexity / Richard Lassaigne and Michel de Rougemont. by Lassaigne, Richard, 1944- Rougemont, Michel de, 1953- Series: Discrete mathematics and theoretical computer science Language: İngilizce Publisher: London ; New York : Springer, c2004 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267.7 .L37 2004. Place hold Add to cart (remove)
		Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by Lewis, Harry R Papadimitriou, Christos H Edition: 2nd ed. Language: İngilizce Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .L49 1998. Place hold Add to cart (remove)
		Sembolik mantık el kitabı / Teo Grünberg. by Grünberg, Teo, 1927- Language: Türkçe Publisher: Ankara : Metu Press Yayınları, 2000 Availability: Items available for loan: Merkez Kütüphane (3)Collection, call number: Genel Koleksiyon QA9 .G78 2000, ... Place hold Add to cart (remove)
		Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter. by Reiter, Raymond Language: İngilizce Publisher: Cambridge, Mass. : MIT Press, c2001 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon Q387 .R48 2001. Place hold Add to cart (remove)
		No cover image available Elements of mathematical logic and set theory = Elementy logiki matematycznej i teorii mnogosci / by J. Slupecki and L. Borkowski. Translated by O. Wojtasiewicz. by Slupecki, Jerzy Borkowski, Ludwik [joint author.] Series: International Series of Monographs in Pure and Applied Mathematics ; 96 Edition: [1st English ed.] Language: İngilizce Publisher: Oxford, New York,: Pergamon Press, [1967] Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BC135 .S5173 1967. Place hold Add to cart (remove)
		No cover image available Matematik ölçme ve psikofizik= Mathematics, measurements, and psychophysics / S.S. Stevens ; çev. S. Özbaydar. by Stevens, S. S Özbaydar, Sabri Series: İmar ve İskan Bakanlığı Mesken Genel Müdürlüğü Sosyal Araştırma Dairesi ; Çeviri Serisi ; 23 Language: Türkçe Publisher: Ankara: İmar ve İskan Bakanlıgı, 1968 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA36.5 .S7419 1968. Place hold Add to cart (remove)
		Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schröder. by Schroder, Bernd S. W., (Bernd Siegfried Walter), 1966- Language: İngilizce Publisher: Hoboken : Wiley, c2010 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA248 .S358 2010. Place hold Add to cart (remove)
		Tractatus logico-philosophicus / Ludwig Wittgenstein ; çeviren: Oruç Aruoba. by Wittgenstein, Ludwig, 1889-1951 Aruoba, Oruç [translator] Edition: Yedinci Basım: Ekim 2013 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: Türkçe Original language: English Publisher: İstanbul : Metis, 2013 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B3376 .W563 T7319 2013. Place hold Add to cart (remove)
		Transactions on Rough Sets XIX / edited by James F. Peters, Andrzej Skowron, Dominik Ślȩzak, Hung Son Nguyen, Jan G. Bazan. by Peters, James F [editor.] Skowron, Andrzej [editor.] Ślȩzak, Dominik [editor.] Nguyen, Hung Son [editor.] Bazan, Jan G [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 8988 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] Quaresma, Pedro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9201 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] Diaconescu, Răzvan [editor.] Țuțu, Ionuț [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9463 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9360 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Introduction to Concurrency Theory : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Gorrieri, Roberto [author.] Versari, Cristian [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Bieger, Jordi [editor.] Goertzel, Ben [editor.] Potapov, Alexey [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9205 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti. by Maletti, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9270 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / edited by Nils Bulling. by Bulling, Nils [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8953 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Locations

Series

Topics

Your search returned 103 results.