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 .. 26 27 28 29 30

000000000DEFAULT

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.

349.

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:

350.

Cover image for A survey of mathematical logic

A survey of mathematical logic

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

351.

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:

352.

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:

353.

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:

354.

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:

355.

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:

356.

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:

357.

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:

1 .. 26 27 28 29 30

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11