Search Results for Mathematical logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(470)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Mostowski, Andrzej.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Blackburn, Patrick. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Cooper, S. Barry. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Laurent, Anne. editor.

(3)

Nerode, Anil. editor.

(3)

(3)

Ong, Luke. editor.

(3)

Pacuit, Eric. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Strauss, Olivier. editor.

(3)

Suppes, Patrick, 1922-

(3)

Tarski, Alfred.

(3)

Wiley InterScience (Online service)

(3)

Yager, Ronald R. editor.

(3)

Ésik, Zoltán. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Arruda, A. I. (Ayda Ignez)

(2)

Artemov, Sergei. editor.

(2)

(2)

Bekki, Daisuke. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Biere, Armin. editor.

(2)

Bloem, Roderick. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

(2)

Coecke, Bob. editor.

(2)

Cornelis, Chris. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Dediu, Adrian-Horia. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Goncharov, Sergei S. editor.

(2)

Grossi, Davide. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hooker, John, 1949-

(2)

Horrocks, Ian. editor.

(2)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(2)

Jain, Sanjay. editor.

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Konstantinidis, Stavros. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Kunen, Kenneth.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Legay, Axel. editor.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Martín-Vide, Carlos. editor.

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Masulli, Francesco. editor.

(2)

Mendelson, Elliott.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Middeldorp, Aart. editor.

(2)

Moortgat, Michael. editor.

(2)

Moraga, Claudio. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mundici, Daniele. author.

(2)

Nickles, Matthias. editor.

(2)

Ortuño, Francisco. editor.

(2)

O’Regan, Gerard. author.

(2)

Palmgren, Erik. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pool, Michael. editor.

(2)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(2)

Potapov, Igor. editor.

(2)

Prestel, Alexander. author.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Richter, Frank. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Rosen, Kenneth H.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Seising, Rudolf. editor.

(2)

Shur, Arseny M. editor.

(2)

Soifer, Alexander. author.

(2)

Sojka, Petr. editor.

(2)

Sommaruga, Giovanni. editor.

(2)

Son, Tran Cao. editor.

(2)

Stephan, Frank. editor.

(2)

Subrahmanian, V.S. author.

(2)

Sun, Jun. editor.

(2)

Tang, Jie. editor.

(2)

Tasiran, Serdar. editor.

(2)

Termini, Settimo. editor.

(2)

Tieszen, Richard.

(2)

Trillas, Enric. editor.

(2)

Truthe, Bianca. editor.

(2)

Valenzuela, Olga. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Voronkov, Andrei. editor.

(2)

Vîţă, Luminiţa Simona. author.

(2)

Wallis, W.D. author.

(2)

Weidenbach, Christoph. editor.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

van Benthem, Johan. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Abraham, Erika. editor.

(1)

Academia Republicii Socialiste România.

(1)

Achten, Peter. editor.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

Agrawal, Manindra. editor.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albert, Elvira. editor.

(1)

Albeverio, Sergio. author.

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Amgoud, Leila. author.

(1)

Andreasen, Troels. editor.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anshakov, Oleg M. author.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artemov, Sergei N. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Aue, Maximilian.

(1)

Aveiro, David. editor. (orcid)0000-0001-6453-3648

(1)

Ayeni, Babatunde J.

(1)

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Baaz, Matthias. author.

(1)

Bacchus, Fahiem. editor.

(1)

Badiru, Adedeji Bodunde, 1952-

(1)

Bagaria, Joan. editor.

(1)

Bagdasar, Ovidiu. author.

(1)

Bajnok, Béla. author.

(1)

Bakari, Abubakar D. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baltas, Aristeidēs.

(1)

Baptista, Jorge. editor.

(1)

Bar-Hillel, Yehoshua.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Baroglio, Cristina. editor.

(1)

Bartocci, Claudio. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

(1)

Batyrshin, Ildar. editor.

(1)

Bede, Barnabas. author.

(1)

Language

(591)

(18)

(7)

(7)

(3)

Multiple languages

(1)

(1)

Publication Date

-

(137)

(84)

(79)

(57)

(39)

(38)

(34)

(32)

(30)

(30)

(28)

(14)

(10)

(10)

(9)

(9)

(9)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(314)

Computer science.

(198)

Artificial intelligence.

(156)

Mathematical logic.

(151)

(133)

Mathematical Logic and Formal Languages.

(101)

Software engineering.

(98)

(85)

Computer logic.

(65)

Logics and Meanings of Programs.

(56)

(50)

Artificial Intelligence (incl. Robotics).

(48)

Computer software.

(41)

(40)

Computer science—Mathematics.

(33)

(31)

(31)

Philosophy (General).

(31)

Programming Languages, Compilers, Interpreters.

(31)

Computational complexity.

(29)

Mathematical Logic and Foundations.

(28)

Information theory.

(27)

Algorithm Analysis and Problem Complexity.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

(24)

Programming languages (Electronic computers).

(24)

(23)

Algebra -- Data processing.

(22)

Computation by Abstract Devices.

(22)

(22)

Information storage and retrieval.

(21)

Programming Techniques.

(21)

Science -- Philosophy.

(20)

Application software.

(19)

Database management.

(19)

Discrete Mathematics in Computer Science.

(16)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(16)

Computer simulation.

(13)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Electronic data processing.

(12)

Natural language processing (Computer science).

(12)

Computer programming.

(11)

Data structures (Computer science).

(11)

Global analysis (Mathematics).

(10)

Information Storage and Retrieval.

(10)

Information storage and retrieval systems.

(10)

Distribution (Probability theory).

(9)

Geometry, algebraic.

(9)

Symbolic and Algebraic Manipulation.

(9)

Computer Communication Networks.

(8)

Genetic epistemology.

(8)

(8)

Math Applications in Computer Science.

(8)

(8)

(8)

Computer communication systems.

(7)

Computer system failures.

(7)

(7)

Information Systems Applications (incl. Internet).

(7)

Numerical analysis.

(7)

Simulation and Modeling.

(7)

Theory of Computation.

(7)

Bioinformatics.

(6)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(6)

History of Mathematical Sciences.

(6)

Mathematical statistics.

(6)

Operating systems (Computers).

(6)

(6)

(6)

Computer Science, general.

(5)

Computer science -- Mathematics.

(5)

Electronic books.

(5)

Information systems.

(5)

(5)

(5)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Knowledge representation (Information theory) .

(4)

Linguistics -- Philosophy.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Management information systems.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics of Computing.

(4)

Mathematics, general.

(4)

(4)

Numeric Computing.

(4)

(4)

Optical data processing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Computational Intelligence.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer organization.

(3)

Computer security.

(3)

Data Structures.

(3)

(3)

(3)

Information Systems.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Management of Computing and Information Systems.

(3)

Mathematical optimization.

(3)

Mathematical physics.

(3)

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

Pattern recognition.

(3)

(3)

Quantum theory.

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Special purpose computers.

(3)

User Interfaces and Human Computer Interaction.

(3)

(3)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Applications of Mathematics.

(2)

Artificial intelligence -- Mathematics.

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computational Biology/Bioinformatics.

(2)

Computational linguistics.

(2)

Decidability (Mathematical logic)

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

(2)

Gödel's theorem.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Induction (Logic)

(2)

Industrial engineering.

(2)

Intuitionistic mathematics.

(2)

Language and languages -- Philosophy.

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- History -- 20th century.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logic, symbolic and mathematical.

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

Machine learning.

(2)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(2)

Mathematical Applications in Computer Science.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

Order, Lattices, Ordered Algebraic Structures.

(2)

(2)

(2)

Probability Theory and Stochastic Processes.

(2)

Probability and Statistics in Computer Science.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

(2)

Translators (Computer programs).

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(2)

logique mathématique.

(2)

logique symbolique.

(2)

Akıl yürütme.

(1)

Algebra, Boolean.

(1)

Algebraic topology.

(1)

Analysis (Philosophy) -- History -- 20th century.

(1)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic control.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

Boole, Algèbre de.

(1)

Boole, George, 1815-1864.

(1)

Business Information Systems.

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

CEBİR, TEORİK.

(1)

Category Theory, Homological Algebra.

(1)

Coding and Information Theory.

(1)

Combinatorial optimization.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Prof.Dr.Onur Bilge Kulak Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

624 Results Found

Subscribe to search results

1 .. 48 49 50 51 52

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

613.

Cover image for Non-standard analysis

Non-standard analysis

Non-standard analysis

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534071

Format:

Availability

Online Library~1

Available:
Copies:

614.

Cover image for A theory of sets

A theory of sets

A theory of sets

Author

Morse, Anthony P. (Anthony Perry)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780123745675

Format:

Availability

Online Library~1

Available:
Copies:

615.

Cover image for Formal systems and recursive functions

Formal systems and recursive functions

Formal systems and recursive functions

Author

Crossley, John N. Dummett, Michael, 1925-2011.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534057

Format:

Availability

Online Library~1

Available:
Copies:

616.

Cover image for Languages with expressions of infinite length

Languages with expressions of infinite length

Languages with expressions of infinite length

Author

Karp, Carol, 1926-1972.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534019

Format:

Availability

Online Library~1

Available:
Copies:

617.

Cover image for The logical systems of Lesniewski

The logical systems of Lesniewski

The logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533951

Format:

Availability

Online Library~1

Available:
Copies:

618.

Cover image for Aklın idaresi için kurallar

Aklın idaresi için kurallar

Aklın idaresi için kurallar

Author

Descartes (Descartes, René) Karasan, Mehmet.

Preferred Shelf Number

B1868 D445 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

619.

Cover image for The axiomatic method

The axiomatic method

The axiomatic method

Author

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533920

Format:

Availability

Online Library~1

Available:
Copies:

620.

Cover image for Intuitionism an introduction

Intuitionism an introduction

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533821

Format:

Availability

Online Library~1

Available:
Copies:

621.

Cover image for Mathematical interpretation of formal systems

Mathematical interpretation of formal systems

Mathematical interpretation of formal systems

Author

Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533814

Format:

Availability

Online Library~1

Available:
Copies:

622.

Cover image for Solvable cases of the decision problem

Solvable cases of the decision problem

Solvable cases of the decision problem

Author

Ackermann, W. (Wilhelm), 1896-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533807

Format:

Availability

Online Library~1

Available:
Copies:

623.

Cover image for Undecidable theories

Undecidable theories

Undecidable theories

Author

Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533784

Format:

Availability

Online Library~1

Available:
Copies:

624.

Cover image for Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533753

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 48 49 50 51 52

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11