Search Results for MATHEMATICS / 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)

(79)

Mostowski, Andrzej.

(7)

Tarski, Alfred.

(5)

Kuratowski, Kazimierz, 1896-1980.

(4)

Robinson, Abraham, 1918-1974.

(4)

Suppes, Patrick, 1922-

(4)

Association for Symbolic Logic.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Fenstad, Jens Erik.

(3)

Fraenkel, Abraham Adolf, 1891-1965.

(3)

(3)

International Colloquium in the Philosophy of Science (1965 : Bedford College)

(3)

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

(3)

Keisler, H. Jerome.

(3)

(3)

Arruda, A. I. (Ayda Ignez)

(2)

Bar-Hillel, Yehoshua.

(2)

Bedford College.

(2)

Bernays, Paul, 1888-1977.

(2)

Boone, W. W. (William W.)

(2)

British Society for the Philosophy of Science.

(2)

(2)

Craig, William, 1918-

(2)

Ershov, I͡Uriĭ Leonidovich.

(2)

Fitting, Melvin, 1942-

(2)

Fraïssé, Roland.

(2)

Gabbay, Dov M. editor.

(2)

Galatos, Nikolaos.

(2)

Gandy, R. O. (Robin O.)

(2)

Goncharov, Sergei S. editor.

(2)

Goodstein, R. L. (Reuben Louis)

(2)

Herzberg, Frederik. author.

(2)

Heyting, A. (Arend), 1898-

(2)

Jech, Thomas J.

(2)

Kar, Rahul, editor.

(2)

Kleene, Stephen Cole, 1909-1994.

(2)

Kunen, Kenneth.

(2)

Odifreddi, Piergiorgio, 1950-

(2)

(2)

Rasiowa, Helena.

(2)

Rosen, Kenneth H.

(2)

(2)

(2)

Taylor and Francis.

(2)

Vince, John. author.

(2)

Wright, Georg Henrik von, 1916-

(2)

Zakharyaschev, Michael. editor.

(2)

Zbierski, Paweł.

(2)

Abe, Jair Minoro. editor.

(1)

Aberdein, Andrew. editor.

(1)

Academia Republicii Socialiste România.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamatzky, Andrew. editor.

(1)

Adamowicz, Zofia.

(1)

(1)

Albeverio, Sergio. author.

(1)

Andreescu, Titu. author.

(1)

Andrews, P. B. (Peter Bruce), 1937-

(1)

Andrica, Dorin. author.

(1)

Angell, David (Mathematician), author.

(1)

Arnold, A. (André), 1945-

(1)

(1)

Ashcroft, Richard E.

(1)

Aubrey, Jason A., 1975- author.

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Baaz, Matthias.

(1)

Bajnok, Béla. author.

(1)

Banerjee, Mohua. editor.

(1)

Bar-Hillel, Yehoshua, joint author.

(1)

(1)

(1)

Bayod, José Manuel.

(1)

Bede, Barnabas. author.

(1)

Benthem, Johan.

(1)

Bernardi, Claudio. author.

(1)

Beth, Evert Willem.

(1)

Bewersdorff, Jörg, author.

(1)

Bhardwaj, Ramakant, editor.

(1)

Black, Max, 1909-

(1)

Blanton, Maria L.

(1)

Bochenski, Joseph M., 1902-1995.

(1)

Boffa, Maurice.

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Boone, W. W., ed.

(1)

Bourbaki, N. author.

(1)

Braffort, P. (Paul)

(1)

Braffort, P. (Paul), editor.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Bridges, Douglas S. author.

(1)

Britz, Thomas (Mathematician), author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966.

(1)

Buss, Samuel R.

(1)

Butters, Jerry, author.

(1)

Béziau, Jean-Yves. editor.

(1)

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

(1)

Cannonito, F. B. (Frank Benjamin)

(1)

Cannonito, F. B., ed.

(1)

Cantini, Andrea.

(1)

Carnielli, Walter. author.

(1)

Casari, E. editor.

(1)

Cebi, Selcuk. editor.

(1)

Cellucci, Carlo. author.

(1)

Centrone, Stefania. author.

(1)

Cevik Onar, Sezi. editor.

(1)

Chaitin, Gregory J., author.

(1)

Chang, Chen Chung, 1927-

(1)

Chinn, Stephen J.

(1)

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

(1)

Chwistek, Leon, 1884-

(1)

Ciliberto, Ciro. editor.

(1)

Clarke, Peter. editor.

(1)

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Coniglio, Marcelo. author.

(1)

Conradie, Willem, 1978- author.

(1)

Cunningham, Daniel W. author.

(1)

Cusmariu, Arnold, author.

(1)

Daepp, Ulrich. author.

(1)

Dahl, Veronica. editor.

(1)

Davis, Philip J., 1923, author.

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

DeVidi, David. editor.

(1)

Denis, Daniel J., 1974-

(1)

Diaconescu, Răzvan. author.

(1)

Dickmann, M. A., 1940-

(1)

Diedrichs, Danilo R., author.

(1)

Dorf, Richard C., editor.

(1)

Doria, Francisco Antonio.

(1)

Dove, Ian J. editor.

(1)

Draganov, Alexandr, author.

(1)

Drake, F. R. (Frank Robert)

(1)

Drake, Frank R.

(1)

Dummett, Michael, 1925-2011.

(1)

Dürr, Karl, 1888-

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Edwards, Harold M. author.

(1)

Einstein Institute of Mathematics.

(1)

Eiter, Thomas. editor.

(1)

Equipe de logique mathématique (Paris, France)

(1)

Erdős, Paul, 1913-1996.

(1)

Esteva, Francesc. editor.

(1)

Ewald, William. editor.

(1)

Fan, Ruzong. author.

(1)

Farlow, Stanley J., 1937- author.

(1)

Favorskaya, Margarita N. editor.

(1)

Feng, Zuming. author.

(1)

Fenstad, Jens Erik, ed.

(1)

Ferro, R. (Ruggero)

(1)

(1)

Fine, Benjamin. author.

(1)

Foreman, Matthew. editor.

(1)

Frankiewicz, Ryszard.

(1)

Freudenthal, Hans, 1905-1990.

(1)

Friedman, Harvey, 1948-

(1)

Frolov, Ivan Timofeevich.

(1)

Gabbar, Hossam A. editor.

(1)

Gabbay, Dov M. author.

(1)

Gabbay, Dov M., 1945-

(1)

Gabbay, Dov. author.

(1)

Gaither, Carl C., 1944- author.

(1)

(1)

García, José Luis.

(1)

Gemignani, Michael C.

(1)

Gentzen, Gerhard.

(1)

Glock, Hans-Johann, 1960- editor.

(1)

Goldrei, Derek. author.

(1)

Golińska Pilarek, Joanna. author.

(1)

Goranko, Valentin, author.

(1)

Gorkin, Pamela. author.

(1)

Gouveia, Paula. author.

(1)

Griffor, Edward R.

(1)

Gupta, Amitabha. editor.

(1)

Hailperin, Theodore.

(1)

Halbeisen, Lorenz J. author.

(1)

Hallett, Michael. editor.

(1)

Halvorson, Hans.

(1)

Hardin, Christopher S. author.

(1)

Harper, Jr, Charles L..

(1)

Harrington, L. A.

(1)

Hartmann, Peter. author.

(1)

(1)

Heinzmann, Gerhard.

(1)

Henle, James M., author.

(1)

Herbrand, Jacques, 1908-1931.

(1)

Hermenegildo, Manuel V. editor.

(1)

Hersh, Reuben. editor.

(1)

Higman, G. (Graham)

(1)

Hilpinen, Risto.

(1)

Hindley, J. Roger.

(1)

Hinman, Peter G.

(1)

Hintikka, Jaakko, 1929-

(1)

Hirsch, R. (Robin)

(1)

Hirschberg, D. (David)

(1)

Language

(269)

(10)

(4)

(3)

(1)

Publication Date

-

(34)

(28)

(22)

(20)

(18)

(17)

(16)

(16)

(15)

(15)

(14)

(13)

(13)

(12)

(11)

(11)

(11)

(11)

(10)

(10)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

(9)

(7)

(7)

(7)

(6)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(100)

(61)

(30)

Logic, Symbolic and mathematical -- Congresses.

(21)

Computer science.

(13)

MATHEMATICS / Logic

(12)

Mathematical Logic and Foundations.

(12)

Mathematics -- Philosophy.

(12)

(12)

(9)

Global analysis (Mathematics).

(8)

(8)

(8)

Science -- Philosophy.

(8)

Algebraic logic.

(7)

Philosophy (General).

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

(6)

Axiomatic set theory.

(6)

Computational intelligence.

(6)

Computer science -- Mathematics.

(6)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

MATHEMATICS / General

(6)

Electronic books.

(5)

Intuitionistic mathematics.

(5)

MATHEMATICS / Recreations & Games

(5)

Modality (Logic)

(5)

Artificial intelligence.

(4)

Computable functions.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

(4)

Metamathematics.

(4)

Science -- Methodology -- Congresses.

(4)

(4)

Algebra, Abstract.

(3)

Axiom of choice.

(3)

Combinatory logic.

(3)

Control engineering.

(3)

(3)

Gödel's theorem.

(3)

History of Mathematical Sciences.

(3)

Knowledge, Theory of.

(3)

Lattice theory.

(3)

Logic, Symbolic and mathematical -- Textbooks.

(3)

MATEMATİK -- FELSEFE.

(3)

MATHEMATICS / Logic.

(3)

Mathematical recreations.

(3)

Mathematics -- Philosophy -- Congresses.

(3)

Mathematics, general.

(3)

(3)

(3)

Proof theory -- Textbooks.

(3)

Recursion theory -- Congresses.

(3)

Recursive functions.

(3)

(3)

Algebra, Boolean.

(2)

(2)

Arithmetic -- Foundations.

(2)

Artificial intelligence -- Mathematics.

(2)

Boole, George, 1815-1864.

(2)

Categories (Mathematics)

(2)

Combinatorial set theory.

(2)

Commonsense reasoning -- Automation.

(2)

Computational complexity.

(2)

Computer programming.

(2)

Computer science -- Mathematics

(2)

Constructive mathematics.

(2)

Control and Systems Theory.

(2)

Distribution (Probability theory).

(2)

(2)

Engineering mathematics.

(2)

Ensembles flous.

(2)

(2)

(2)

(2)

(2)

Genetic epistemology.

(2)

Group theory -- Congresses.

(2)

(2)

Infinitary languages.

(2)

Information theory.

(2)

Informatique -- Mathématiques.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Logic -- Congresses.

(2)

(2)

Logic programming.

(2)

Logic, Medieval.

(2)

Logic, Symbolic and mathematical

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

(2)

MATHEMATICS / Set Theory

(2)

(2)

Mathematical Logic and Formal Languages.

(2)

Mathematics -- Study and teaching.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Nonstandard mathematical analysis.

(2)

(2)

(2)

Relation algebras.

(2)

Semantics (Philosophy)

(2)

Sequences (Mathematics).

(2)

Sequential machine theory.

(2)

Set theory -- Congresses.

(2)

(2)

TECHNOLOGY & ENGINEERING.

(2)

(2)

Wittgenstein, Ludwig, 1889-1951.

(2)

AKIL YÜRÜTME.

(1)

(1)

AUTOMATH (Formal language)

(1)

(1)

(1)

(1)

(1)

Analysis of variance

(1)

Analysis of variance -- Textbooks.

(1)

Analytic spaces.

(1)

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Aptitude pour les mathématiques.

(1)

Architecture -- Quotations, maxims, etc. -- Dictionaries.

(1)

(1)

(1)

Axioms -- Congresses.

(1)

Baseball -- Miscellanea.

(1)

Bernays, Paul, 1888-1977.

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Biomedical engineering.

(1)

Biosensing Techniques.

(1)

(1)

(1)

Boethius, -524.

(1)

Boèce, m. 524.

(1)

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966.

(1)

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

(1)

CEBİRSEL MANTIK.

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

(1)

Cardinal numbers.

(1)

Chemistry -- Mathematics.

(1)

(1)

Cognitive science.

(1)

(1)

Computable functions -- Congresses.

(1)

Computational Intelligence.

(1)

Computational linguistics.

(1)

Computer logic.

(1)

Computer science -- Congresses.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Computer software.

(1)

Computer vision.

(1)

Constructibility (Set theory)

(1)

Constructive mathematics -- Congresses.

(1)

Control, Robotics, Automation.

(1)

Curry-Howard isomorphism.

(1)

Cylindric algebras.

(1)

Data Engineering.

(1)

Data structures (Computer science)

(1)

Data structures (Computer science).

(1)

Decidability (Mathematical logic)

(1)

Decision making -- Congresses.

(1)

Descriptive set theory.

(1)

Differential equations, Partial

(1)

Digital electronics

(1)

Digital electronics.

(1)

(1)

(1)

Dyslexic children -- Education

(1)

Dyslexic children -- Education.

(1)

EDUCATION -- Administration -- General.

(1)

EDUCATION -- Organizations & Institutions.

(1)

EDUCATION / Decision-Making & Problem Solving

(1)

EDUCATION / Teaching Methods & Materials / Mathematics

(1)

(1)

Economics, Mathematical.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic book.

(1)

Electronics, Medical -- Instrumentation.

(1)

Electrónica médica.

(1)

Enfants dyslexiques -- Éducation.

(1)

Engineering -- Data processing -- Congresses.

(1)

Engineering -- Data processing.

(1)

Engineering -- Quotations, maxims, etc. -- Dictionaries.

(1)

Engineering mathematics

(1)

(1)

(1)

Fixed point theory.

(1)

Forcing (Model theory)

(1)

Friedman, Harvey, 1948-

(1)

Functions of real variables

(1)

Functions of real variables -- Textbooks.

(1)

Fuzzy logic -- Industrial applications.

(1)

Fuzzy mathematics

(1)

GEOMETRİ -- TEMEL.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

282 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 24

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.

1.

Cover image for Relation algebras by games

Relation algebras by games

Relation algebras by games

Author

Hirsch, R. (Robin) Hodkinson, Ian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Theory of relations

Theory of relations

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computable structures and the hyperarithmetical hierarchy

Computable structures and the hyperarithmetical hierarchy

Computable structures and the hyperarithmetical hierarchy

Author

Ash, C. J. Knight, J. (Julia)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Handbook of computability theory

Handbook of computability theory

Handbook of computability theory

Author

Griffor, Edward R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Categorical logic and type theory

Categorical logic and type theory

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and techniques in modal logic

Tools and techniques in modal logic

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Classical recursion theory the theory of functions and sets of natural numbers

Classical recursion theory the theory of functions and sets of natural numbers

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Handbook of proof theory

Handbook of proof theory

Handbook of proof theory

Author

Buss, Samuel R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Handbook of recursive mathematics

Handbook of recursive mathematics

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Handbook of recursive mathematics

Handbook of recursive mathematics

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

1 2 3 4 5 6 .. 24

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11