Search Results for MATHEMATICS / Logic

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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)

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)

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)

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)

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)

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)

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)

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)

Hirschberg, D. (David), editor.

(1)

Hitzler, Pascal., author.

(1)

Hodkinson, Ian.

(1)

Hoffmann, Dirk W. author.

(1)

Hopkins, Burt C.

(1)

Huang, Yueh-Min. editor. (orcid)

(1)

Hyland, John Martin Elliott.

(1)

(1)

Language

(259)

(10)

(4)

(3)

(1)

Publication Date

-

(34)

(28)

(20)

(20)

(18)

(17)

(16)

(16)

(15)

(15)

(14)

(13)

(12)

(11)

(11)

(10)

(10)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

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

(99)

(61)

(29)

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)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

MATHEMATICS / General

(6)

Intuitionistic mathematics.

(5)

MATHEMATICS / Recreations & Games

(5)

Modality (Logic)

(5)

Artificial intelligence.

(4)

Computable functions.

(4)

Computer science -- Mathematics.

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

Gödel's theorem.

(3)

History of Mathematical Sciences.

(3)

Knowledge, Theory of.

(3)

Lattice theory.

(3)

MATEMATİK -- FELSEFE.

(3)

MATHEMATICS / Logic.

(3)

Mathematical recreations.

(3)

Mathematics -- Philosophy -- Congresses.

(3)

Mathematics, general.

(3)

(3)

(3)

Recursion theory -- Congresses.

(3)

Recursive functions.

(3)

Algebra, Boolean.

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

Constructive mathematics.

(2)

Control and Systems Theory.

(2)

Distribution (Probability theory).

(2)

(2)

Genetic epistemology.

(2)

Group theory -- Congresses.

(2)

(2)

Infinitary languages.

(2)

Information theory.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Logic -- Congresses.

(2)

(2)

Logic programming.

(2)

Logic, Medieval.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- Textbooks.

(2)

MATHEMATICS / Set Theory

(2)

Mathematical Logic and Formal Languages.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Nonstandard mathematical analysis.

(2)

(2)

Proof theory -- Textbooks.

(2)

(2)

Relation algebras.

(2)

Semantics (Philosophy)

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

(2)

AKIL YÜRÜTME.

(1)

(1)

AUTOMATH (Formal language)

(1)

(1)

Analytic spaces.

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

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

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)

(1)

EDUCATION / Decision-Making & Problem Solving

(1)

EDUCATION / Teaching Methods & Materials / Mathematics

(1)

(1)

Economics, Mathematical.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic books.

(1)

Electronics, Medical -- Instrumentation.

(1)

Electrónica médica.

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

Fuzzy logic -- Industrial applications.

(1)

(1)

GEOMETRİ -- TEMEL.

(1)

(1)

Gentzen, Gerhard.

(1)

Geometry -- Foundations.

(1)

Geometry, Algebraic.

(1)

Geometry, algebraic.

(1)

Godel's theorem.

(1)

(1)

GÖDEL TEOREMİ.

(1)

Gödel's theorem -- Congresses.

(1)

History of Philosophy.

(1)

Induction (Logic)

(1)

Induction (Logic) -- Congresses.

(1)

Induction (Mathematics)

(1)

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Ingeniería biomédica.

(1)

(1)

Kleene, Stephen Cole, 1909-1994.

(1)

(1)

Lambda calculus.

(1)

Large cardinals.

(1)

Lateral thinking.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Lincos (Artificial language)

(1)

Linguistics -- Philosophy.

(1)

Logic -- Juvenile literature.

(1)

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

(1)

Logic, Symbolic and mathematical -- Methodology.

(1)

Logic, Symbolic and mathematical -- Study and teaching.

(1)

Logical positivism.

(1)

Logicians -- Great Britain -- Biography.

(1)

(1)

MANTIKSAL POZİTİVİZM.

(1)

(1)

MATHEMATICS / Functional Analysis.

(1)

MATHEMATICS / Game Theory

(1)

MATHEMATICS / General.

(1)

MATHEMATICS / Mathematical Analysis

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

272 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 23

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.

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 23

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11