Search Results for Logic, Symbolic and mathematical.

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)

(225)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Mostowski, Andrzej.

(3)

Nerode, Anil. editor.

(3)

(3)

Suppes, Patrick, 1922-

(3)

Wiley InterScience (Online service)

(3)

Artemov, Sergei. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

Cooper, S. Barry. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Goncharov, Sergei S. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hooker, John, 1949-

(2)

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

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Mundici, Daniele. author.

(2)

Ong, Luke. editor.

(2)

Pacuit, Eric. editor.

(2)

Palmgren, Erik. editor.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Rosen, Kenneth H.

(2)

Soifer, Alexander. author.

(2)

Sommaruga, Giovanni. editor.

(2)

Tarski, Alfred.

(2)

Tieszen, Richard.

(2)

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

(2)

Wallis, W.D. author.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

van Benthem, Johan. editor.

(2)

Aberdein, Andrew. editor.

(1)

Academia Republicii Socialiste România.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albeverio, Sergio. author.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anshakov, Oleg M. author.

(1)

Arruda, A. I. (Ayda Ignez)

(1)

Artemov, Sergei N. editor.

(1)

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Aue, Maximilian.

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

Bagaria, Joan. editor.

(1)

Bajnok, Béla. author.

(1)

Baltas, Aristeidēs.

(1)

Bar-Hillel, Yehoshua.

(1)

Bartocci, Claudio. editor.

(1)

(1)

Bede, Barnabas. author.

(1)

Bel-Enguix, Gemma. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bendegem, Jean Paul.

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Benthem, Johan van, 1949-

(1)

Berg, Imme. editor.

(1)

Bernardi, Claudio. author.

(1)

Betti, Renato. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Biere, Armin. editor.

(1)

Black, Max, 1909-

(1)

Blackburn, Patrick. editor.

(1)

Blanton, Maria L.

(1)

Bloch, Ethan D. author.

(1)

Bloem, Roderick. editor.

(1)

Boer, Reint. author.

(1)

Boffa, Maurice.

(1)

Bonizzoni, Paola. editor.

(1)

Bourbaki, N. author.

(1)

Boutelle, Anthony.

(1)

Brady, Geraldine.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brattka, Vasco. editor.

(1)

Braüner, Torben. author.

(1)

Breda, Marco. author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

(1)

(1)

Burgess, John P..

(1)

Buscema, Paolo Massimo. author.

(1)

Butler, Steve. editor.

(1)

Béziau, Jean-Yves. editor.

(1)

Börger, E. (Egon), 1946-

(1)

Cantini, Andrea.

(1)

Cantone, Domenico. author.

(1)

Carnap, Rudolf, 1891-1970.

(1)

Casari, E. editor.

(1)

Centrone, Stefania. author.

(1)

Chakraborty, Mihir. editor.

(1)

Chandru, Vijay, 1953-

(1)

Charpentier, Éric. editor.

(1)

Chong, C.-T. (Chi-Tat), 1949-

(1)

(1)

Chudnovsky, David. editor.

(1)

Chudnovsky, Gregory. editor.

(1)

Chwistek, Leon, 1884-

(1)

Ciliberto, Ciro. editor.

(1)

Clarke, Edmund M. editor.

(1)

Clarke, Peter. editor.

(1)

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

Coniglio, Marcelo. author.

(1)

Conradie, Willem, 1978- author.

(1)

Constanda, Christian. editor.

(1)

(1)

(1)

Cooper, S. Barry.

(1)

(1)

Corradini, Andrea. editor.

(1)

Corsi, Giovanna. editor.

(1)

Costa, Newton C. A. da.

(1)

Cox, David. author.

(1)

Crossley, John Newsome. author.

(1)

Cullinane, Michael J.

(1)

Cunningham, Daniel W. author.

(1)

Curien, Pierre-Louis. editor.

(1)

Daepp, Ulrich. author.

(1)

(1)

Davis, Martin. editor.

(1)

Davis, Philip J. author.

(1)

Davis, Philip J., 1923-

(1)

Dawar, Anuj. editor.

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

DeVidi, David. editor.

(1)

Delon, Françoise.

(1)

Demaine, Erik D., 1981-

(1)

Demopoulos, William.

(1)

Descartes (Descartes, René)

(1)

(1)

Diaconescu, Răzvan. author.

(1)

Dimitracopoulos, Costas.

(1)

Dodos, Pandelis. author.

(1)

Dove, Ian J. editor.

(1)

Droste, Manfred. editor.

(1)

(1)

Dummett, Michael, 1925-2011.

(1)

Duparc, Jacques. editor.

(1)

Dybjer, P. editor.

(1)

Décaillot, Anne-Marie. author.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Edwards, Harold M. author.

(1)

Ehrhard, Thomas.

(1)

Eijck, J. van (Jan)

(1)

Einstein Institute of Mathematics.

(1)

Enescu, Bogdan. author.

(1)

Engler, Antonio J. author.

(1)

Equipe de logique mathématique (Paris, France)

(1)

Erk, Katrin. author.

(1)

Ewald, William. editor.

(1)

Fan, Ruzong. author.

(1)

(1)

Feferman, Solomon.

(1)

Feng, Zuming. author.

(1)

Fenstad, Jens Erik, ed.

(1)

Language

(327)

(18)

(6)

(5)

(3)

Multiple languages

(1)

(1)

Publication Date

-

(55)

(46)

(39)

(34)

(33)

(31)

(29)

(29)

(28)

(14)

(10)

(9)

(9)

(8)

(8)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

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

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(314)

(129)

Computer science.

(101)

(48)

Artificial intelligence.

(34)

(31)

(30)

Philosophy (General).

(29)

Mathematical Logic and Foundations.

(28)

Logic, Symbolic and mathematical -- Congresses.

(25)

Information theory.

(22)

(21)

(21)

Science -- Philosophy.

(20)

Computer software.

(18)

Algebra -- Data processing.

(15)

Computational complexity.

(15)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Mathematical Logic and Formal Languages.

(11)

Global analysis (Mathematics).

(10)

Geometry, algebraic.

(9)

Distribution (Probability theory).

(8)

Electronic data processing.

(8)

Genetic epistemology.

(8)

(8)

(8)

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

(7)

Software engineering.

(7)

(6)

Operating systems (Computers).

(6)

(6)

Computer science -- Mathematics.

(5)

Electronic books.

(5)

History of Mathematical Sciences.

(5)

Logics and Meanings of Programs.

(5)

(5)

(5)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics, general.

(4)

(4)

(4)

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Theory of Computation.

(4)

(3)

(3)

(3)

Linguistics -- Philosophy.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematical physics.

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

(3)

Quantum theory.

(3)

(3)

Algorithm Analysis and Problem Complexity.

(2)

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

(2)

Artificial Intelligence (incl. Robotics).

(2)

Artificial intelligence -- Mathematics.

(2)

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computation by Abstract Devices.

(2)

Computational Intelligence.

(2)

Discrete Mathematics in Computer Science.

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

Information systems.

(2)

Intuitionistic mathematics.

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

Math Applications in Computer Science.

(2)

Mathematical optimization.

(2)

Mathematics of Computing.

(2)

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

Symbolic and Algebraic Manipulation.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

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

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Boole, Algèbre de.

(1)

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

(1)

Category Theory, Homological Algebra.

(1)

Combinatorial optimization.

(1)

(1)

Communication -- Philosophy.

(1)

Computational intelligence.

(1)

Computational linguistics.

(1)

Computer architecture.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Computing Methodologies.

(1)

Constructive mathematics.

(1)

Critical thinking.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science)

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Decision making -- Mathematical models.

(1)

Decision support systems.

(1)

Differentiable dynamical systems.

(1)

Differential equations, partial.

(1)

(1)

Discrete groups.

(1)

(1)

Economics, Mathematical.

(1)

Education -- Philosophy.

(1)

(1)

Electronic digital computers -- Circuits -- Design.

(1)

Engineering geology.

(1)

Ensembles, Théorie des.

(1)

(1)

Evolution (Biology).

(1)

Expert systems (Computer science)

(1)

(1)

(1)

Fourier analysis.

(1)

Frege, Gottlob, 1848-1925.

(1)

Games -- Mathematical models.

(1)

Games of strategy (Mathematics)

(1)

Gentzen, Gerhard.

(1)

(1)

(1)

(1)

Gödel's theorem.

(1)

Hesap karmaşıklığı.

(1)

History of Philosophy.

(1)

History of Science.

(1)

(1)

Hydraulic engineering.

(1)

Immanence (Philosophy)

(1)

Induction (Logic)

(1)

Industrial engineering.

(1)

(1)

(1)

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Informationstheorie.

(1)

Informatique -- Mathématiques.

(1)

(1)

Knowledge representation (Information theory)

(1)

Knowledge, Theory of.

(1)

Kunstmatige intelligentie.

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Linear programming.

(1)

(1)

Logic, Symbolic and mathematical -- Congresses. Methodology -- Congresses. Science -- Philosophy -- Congresses.

(1)

Logic, Symbolic and mathematical -- Famous problems.

(1)

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

(1)

Logic, Symbolic and mathematical -- Methodology.

(1)

Logic, Symbolic and mathematical -- Philosophy.

(1)

Logic, Symbolic and mathematical -- Study and teaching (Secondary).

(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

357 Results Found

Subscribe to search results

1 .. 23 24 25 26 27 .. 30

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.

289.

Cover image for Önermeler mantığı :

Önermeler mantığı :

Önermeler mantığı :

Author

Nesin, Ali.

Preferred Shelf Number

QA 270 .N476 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

290.

Cover image for Logic and structure

Logic and structure

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

291.

Cover image for Charles S. Peirce zur Einführung

Charles S. Peirce zur Einführung

Charles S. Peirce zur Einführung

Author

Pape, Helmut.

Preferred Shelf Number

B945.P44 P347 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

292.

Cover image for Handbook of the logic of argument and inference the turn towards the practical

Handbook of the logic of argument and inference the turn towards the practical

Handbook of the logic of argument and inference the turn towards the practical

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Develerle eşekler :

Develerle eşekler :

Develerle eşekler :

Author

Nesin, Ali. Akgül, Tayfun, karikatür.

Preferred Shelf Number

QA 270 .N474 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

294.

Cover image for Mathematical logic

Mathematical logic

Mathematical logic

Author

Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Between Logic and Intuition Essays in Honor of Charles Parsons

Between Logic and Intuition Essays in Honor of Charles Parsons

Between Logic and Intuition Essays in Honor of Charles Parsons

Author

Sher, Gila. Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for From Peirce to Skolem a neglected chapter in the history of logic

From Peirce to Skolem a neglected chapter in the history of logic

From Peirce to Skolem a neglected chapter in the history of logic

Author

Brady, Geraldine.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for The logic of knowledge bases

The logic of knowledge bases

The logic of knowledge bases

Author

Levesque, Hector J., 1951- Lakemeyer, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Sembolik mantık el kitabı

Sembolik mantık el kitabı

Sembolik mantık el kitabı

Author

Grünberg, Teo.

Preferred Shelf Number

BC 135 G969 2000 V.2

Format:

Availability

Beytepe Library~2

Available:
Copies:

299.

Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Author

Hooker, John, 1949- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 23 24 25 26 27 .. 30

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11