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, author.

(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

(330)

(18)

(6)

(5)

(3)

Multiple languages

(1)

(1)

Publication Date

-

(55)

(46)

(39)

(34)

(33)

(31)

(29)

(29)

(28)

(15)

(10)

(9)

(9)

(9)

(8)

(7)

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

(1)

Subject

Logic, Symbolic and mathematical.

(317)

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

(8)

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

(7)

Software engineering.

(7)

(6)

Operating systems (Computers).

(6)

Computer science -- Mathematics.

(5)

Electronic books.

(5)

History of Mathematical Sciences.

(5)

Logic, Symbolic and mathematical -- Textbooks.

(5)

Logics and Meanings of Programs.

(5)

(5)

(5)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

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

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Proof theory -- Textbooks.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

(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 ARTS & DISCIPLINES / Linguistics / General.

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Language and logic.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Linear programming.

(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

360 Results Found

Subscribe to search results

1 .. 24 25 26 27 28 .. 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.

301.

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:

302.

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:

303.

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:

304.

Cover image for Optimization methods for logical inference

Optimization methods for logical inference

Optimization methods for logical inference

Author

Chandru, Vijay, 1953- Hooker, John, 1949-

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/wiley042/98044622.html

Format:

Availability

Online Library~1

Available:
Copies:

305.

Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Author

Gregg, John.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

306.

Cover image for Elements of the theory of computation

Elements of the theory of computation

Elements of the theory of computation

Author

Lewis, Harry R. Papadimitriou, Christos H.

Preferred Shelf Number

QA267 .L49 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

307.

Cover image for Logic of mathematics a modern course of classical logic

Logic of mathematics a modern course of classical logic

Logic of mathematics a modern course of classical logic

Author

Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)

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/wiley042/95020818.html

Format:

Availability

Online Library~1

Available:
Copies:

308.

Cover image for Handbook of logic and language

Handbook of logic and language

Handbook of logic and language

Author

Benthem, Johan van, 1949- Meulen, Alice G. B. ter.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

309.

Cover image for Admissibility of logical inference rules

Admissibility of logical inference rules

Admissibility of logical inference rules

Author

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

310.

Cover image for Principles of logic and logic programming

Principles of logic and logic programming

Principles of logic and logic programming

Author

Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

311.

Cover image for Logical frameworks for truth and abstraction an axiomatic study

Logical frameworks for truth and abstraction an axiomatic study

Logical frameworks for truth and abstraction an axiomatic study

Author

Cantini, Andrea.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

312.

Cover image for Logic and information flow

Logic and information flow

Logic and information flow

Author

Eijck, J. van (Jan) Visser, Albert.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 24 25 26 27 28 .. 30

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11