Search Results for MATHEMATICS / Logic

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

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)

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

Tümünü genişlet

Dil

(259)

(10)

(4)

(3)

(1)

Yayın Yılı

-

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

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

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

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

272 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 23

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.

Rudiments of [mu]-calculus için kapak resmi

Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Theory of relations için kapak resmi

Theory of relations

Theory of relations

Yazar

Fraïssé, Roland.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Computable structures and the hyperarithmetical hierarchy için kapak resmi

Computable structures and the hyperarithmetical hierarchy

Computable structures and the hyperarithmetical hierarchy

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi

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

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

Yazar

Odifreddi, Piergiorgio, 1950-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Handbook of computability theory için kapak resmi

Handbook of computability theory

Handbook of computability theory

Yazar

Griffor, Edward R.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Categorical logic and type theory için kapak resmi

Categorical logic and type theory

Categorical logic and type theory

Yazar

Jacobs, Bart.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Tools and techniques in modal logic için kapak resmi

Tools and techniques in modal logic

Tools and techniques in modal logic

Yazar

Kracht, Marcus.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Handbook of recursive mathematics için kapak resmi

Handbook of recursive mathematics

Handbook of recursive mathematics

Yazar

Ershov, I͡Uriĭ Leonidovich.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Handbook of recursive mathematics için kapak resmi

Handbook of recursive mathematics

Handbook of recursive mathematics

Yazar

Ershov, I͡Uriĭ Leonidovich.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Handbook of proof theory için kapak resmi

Handbook of proof theory

Handbook of proof theory

Yazar

Buss, Samuel R.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Admissibility of logical inference rules için kapak resmi

Admissibility of logical inference rules

Admissibility of logical inference rules

Yazar

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logical frameworks for truth and abstraction an axiomatic study için kapak resmi

Logical frameworks for truth and abstraction an axiomatic study

Logical frameworks for truth and abstraction an axiomatic study

Yazar

Cantini, Andrea.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 23

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11