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 .. 11 12 13 14 15 .. 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.

145.

Cover image for Recursive analysis

Recursive analysis

Recursive analysis

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Lincos design of a language for cosmic intercourse

Lincos design of a language for cosmic intercourse

Lincos design of a language for cosmic intercourse

Author

Freudenthal, Hans, 1905-1990.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

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:

148.

Cover image for Toward a systematic pragmatics

Toward a systematic pragmatics

Toward a systematic pragmatics

Author

Martin, R. M. (Richard Milton), 1916-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Computer programming and formal systems

Computer programming and formal systems

Computer programming and formal systems

Author

Braffort, P. (Paul) Hirschberg, D. (David)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for A study in the philosophy of science

A study in the philosophy of science

A study in the philosophy of science

Author

Beth, Evert Willem.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Foundations of set theory

Foundations of set theory

Foundations of set theory

Author

Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Axiomatic set theory

Axiomatic set theory

Axiomatic set theory

Author

Bernays, Paul, 1888-1977.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Combinatory logic

Combinatory logic

Combinatory logic

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Ordinal algebras

Ordinal algebras

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Complete theories

Complete theories

Complete theories

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 11 12 13 14 15 .. 24

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11