Search Results for MATHEMATICS / Logic

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Library: Online Library

Yazar

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)

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)

(2)

Herzberg, Frederik. author.

(2)

Heyting, A. (Arend), 1898-

(2)

Kar, Rahul, editor.

(2)

Kleene, Stephen Cole, 1909-1994.

(2)

Kunen, Kenneth.

(2)

Odifreddi, Piergiorgio, 1950-

(2)

(2)

(2)

(2)

Taylor and Francis.

(2)

Vince, John. author.

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

Blanton, Maria L.

(1)

Bochenski, Joseph M., 1902-1995.

(1)

Boffa, Maurice.

(1)

Bourbaki, N. author.

(1)

Braffort, P. (Paul)

(1)

Braffort, P. (Paul), editor.

(1)

Bridges, Douglas S. author.

(1)

Britz, Thomas (Mathematician), author.

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

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)

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)

Cunningham, Daniel W. author.

(1)

Cusmariu, Arnold, author.

(1)

Daepp, Ulrich. author.

(1)

Dahl, Veronica. editor.

(1)

Davis, Philip J., 1923, 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)

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)

Gentzen, Gerhard.

(1)

Glock, Hans-Johann, 1960- editor.

(1)

Goldrei, Derek. author.

(1)

Golińska Pilarek, Joanna. 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)

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)

Hyman, John, editor.

(1)

(1)

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)

(1)

International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece)

(1)

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)

(1)

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (1960)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

(1)

Tümünü genişlet

Dil

(247)

(10)

(4)

(3)

(1)

Yayın Yılı

-

(23)

(17)

(13)

(11)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

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

Tümünü genişlet

Konu

Logic, Symbolic and mathematical.

(90)

(59)

(26)

Logic, Symbolic and mathematical -- Congresses.

(21)

Computer science.

(13)

MATHEMATICS / Logic

(12)

Mathematical Logic and Foundations.

(12)

(11)

Mathematics -- Philosophy.

(9)

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

MATHEMATICS / General

(6)

Electronic books.

(5)

Intuitionistic mathematics.

(5)

MATHEMATICS / Recreations & Games

(5)

Modality (Logic)

(5)

Artificial intelligence.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Metamathematics.

(4)

Science -- Methodology -- Congresses.

(4)

(4)

Algebra, Abstract.

(3)

Axiom of choice.

(3)

Combinatory logic.

(3)

Computable functions.

(3)

Computer science -- Mathematics.

(3)

Control engineering.

(3)

(3)

Gödel's theorem.

(3)

History of Mathematical Sciences.

(3)

Knowledge, Theory of.

(3)

Lattice theory.

(3)

MATHEMATICS / Logic.

(3)

Mathematical recreations.

(3)

Mathematics -- Philosophy -- Congresses.

(3)

Mathematics, general.

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

Infinitary languages.

(2)

Information theory.

(2)

Informatique -- Mathématiques.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Logic -- Congresses.

(2)

(2)

Logic, Medieval.

(2)

Logic, Symbolic and mathematical

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- Textbooks.

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

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)

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)

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

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)

Gentzen, Gerhard.

(1)

Geometry, Algebraic.

(1)

Geometry, algebraic.

(1)

Godel's theorem.

(1)

(1)

Gödel's theorem -- Congresses.

(1)

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

Lambda calculus.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

260 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 22

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi

Mathematics of Fuzzy Sets and Fuzzy Logic

Mathematics of Fuzzy Sets and Fuzzy Logic

Yazar

Bede, Barnabas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333950.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Phenomenology, Logic, and the Philosophy of Mathematics için kapak resmi

Phenomenology, Logic, and the Philosophy of Mathematics

Phenomenology, Logic, and the Philosophy of Mathematics

Yazar

Tieszen, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Fuzzy logic concepts in computer science and mathematics için kapak resmi

Fuzzy logic concepts in computer science and mathematics

Fuzzy logic concepts in computer science and mathematics

Yazar

Kar, Rahul, editor.

Yer Numarası

QA9.64

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781779643551
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology için kapak resmi

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

Yazar

Abe, Jair Minoro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35759-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Fuzzy logic applications in computer science and mathematics için kapak resmi

Fuzzy logic applications in computer science and mathematics

Fuzzy logic applications in computer science and mathematics

Yazar

Kar, Rahul, editor.

Yer Numarası

QA9.64 .F89 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Luck, logic, and white lies : the mathematics of games için kapak resmi

Luck, logic, and white lies : the mathematics of games

Luck, logic, and white lies : the mathematics of games

Yazar

Bewersdorff, Jörg, author.

Yer Numarası

QA269

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003092872
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

The outer limits of reason what science, mathematics, and logic cannot tell us için kapak resmi

The outer limits of reason what science, mathematics, and logic cannot tell us

The outer limits of reason what science, mathematics, and logic cannot tell us

Yazar

Yanofsky, Noson S., 1967- Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Yazar

Paule, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332822.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method için kapak resmi

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Yazar

Cellucci, Carlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336157.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-6091-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein için kapak resmi

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Yazar

Hopkins, Burt C. Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008 için kapak resmi

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Yazar

Skof, Fulvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-1836-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

After Gödel Platonism and rationalism in mathematics and logic için kapak resmi

After Gödel Platonism and rationalism in mathematics and logic

After Gödel Platonism and rationalism in mathematics and logic

Yazar

Tieszen, Richard L.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 22

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11