Search Results for Mathematical logic.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(477)

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)

Seising, Rudolf. editor.

(3)

Strauss, Olivier. editor.

(3)

Suppes, Patrick, 1922-

(3)

Tarski, Alfred.

(3)

Trillas, Enric. editor.

(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)

Medina-Moreno, Jesús. 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)

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)

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)

Atif, Muhammad. 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)

Language

(598)

(18)

(7)

(7)

(3)

Multiple languages

(1)

(1)

Publication Date

-

(137)

(84)

(79)

(57)

(39)

(38)

(34)

(32)

(30)

(30)

(28)

(15)

(14)

(11)

(10)

(9)

(9)

(7)

(7)

(7)

(6)

(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.

(157)

Mathematical logic.

(152)

(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.

(29)

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.

(14)

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)

Computational intelligence.

(7)

Computer communication systems.

(7)

Computer system failures.

(7)

Computer vision.

(7)

(7)

Information Systems Applications (incl. Internet).

(7)

Numerical analysis.

(7)

Simulation and Modeling.

(7)

Theory of Computation.

(7)

Bioinformatics.

(6)

Computer science -- Mathematics.

(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)

Electronic books.

(5)

Information systems.

(5)

(5)

(5)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Control and Systems Theory.

(4)

Control engineering.

(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)

Industrial engineering.

(3)

Information Systems.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Machine learning.

(3)

Management of Computing and Information Systems.

(3)

Mathematical Applications in Computer Science.

(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)

(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)

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)

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

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(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)

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

Biomathematics.

(1)

Boole, Algèbre de.

(1)

Boole, George, 1815-1864.

(1)

Business Information Systems.

(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

631 Results Found

Subscribe to search results

1 .. 30 31 32 33 34 .. 53

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.

373.

Cover image for The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

Author

Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31555-8

Format:

Availability

Online Library~1

Available:
Copies:

374.

Cover image for The Complexity of Valued Constraint Satisfaction Problems

The Complexity of Valued Constraint Satisfaction Problems

The Complexity of Valued Constraint Satisfaction Problems

Author

Živný, Stanislav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33974-5

Format:

Availability

Online Library~1

Available:
Copies:

375.

Cover image for Truth and Falsehood An Inquiry into Generalized Logical Values

Truth and Falsehood An Inquiry into Generalized Logical Values

Truth and Falsehood An Inquiry into Generalized Logical Values

Author

Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0907-2

Format:

Availability

Online Library~1

Available:
Copies:

376.

Cover image for The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Author

Hopkins, Burt C. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

377.

Cover image for Tractatus logico-philosophicus

Tractatus logico-philosophicus

Tractatus logico-philosophicus

Author

Wittgenstein, Ludwig. Aruoba, Oruç.

Preferred Shelf Number

BC135 W5719 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

378.

Cover image for McGraw-Hill's LSAT

McGraw-Hill's LSAT

McGraw-Hill's LSAT

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

379.

Cover image for Logic demystified

Logic demystified

Logic demystified

Author

Boutelle, Anthony. Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

380.

Cover image for An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

Author

Fisher, Michael, 1962-

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882

Format:

Availability

Online Library~1

Available:
Copies:

381.

Cover image for Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Author

Kennedy, Juliette. Kossak, Roman.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

382.

Cover image for Logical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction

Author

van Benthem, Johan.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

383.

Cover image for Computational logic and human thinking how to be artificially intelligent

Computational logic and human thinking how to be artificially intelligent

Computational logic and human thinking how to be artificially intelligent

Author

Kowalski, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916

Format:

Availability

Online Library~1

Available:
Copies:

384.

Cover image for McGraw-Hill's conquering LSAT logic games

McGraw-Hill's conquering LSAT logic games

McGraw-Hill's conquering LSAT logic games

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 30 31 32 33 34 .. 53

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11