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

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.

337.

Cover image for Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Author

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

338.

Cover image for Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968

Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968

Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968

Author

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

339.

Cover image for The collected papers of Gerhard Gentzen

The collected papers of Gerhard Gentzen

The collected papers of Gerhard Gentzen

Author

Szabo, M. E. Gentzen, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

340.

Cover image for Constructive order types

Constructive order types

Constructive order types

Author

Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

341.

Cover image for Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Author

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

342.

Cover image for Past, present and future

Past, present and future

Past, present and future

Author

Prior, A. N. (Arthur N.), 1914-1969.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

343.

Cover image for Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

344.

Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Author

Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

345.

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:

346.

Cover image for Logic, methodology and philosophy of science proceedings of the 1960 international congress

Logic, methodology and philosophy of science proceedings of the 1960 international congress

Logic, methodology and philosophy of science proceedings of the 1960 international congress

Author

International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

347.

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:

348.

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:

1 .. 26 27 28 29 30

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11