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)

(72)

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)

Vince, John. author.

(2)

Wright, Georg Henrik von, 1916-

(2)

Zakharyaschev, Michael. editor.

(2)

Zbierski, Paweł.

(2)

Aberdein, Andrew. editor.

(1)

Academia Republicii Socialiste România.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

(1)

Albeverio, Sergio. author.

(1)

Andreescu, Titu. author.

(1)

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

(1)

Andrica, Dorin. 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)

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)

Brodie, Helen Charlotte, 1915-

(1)

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

(1)

Buss, Samuel R.

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

Cellucci, Carlo. author.

(1)

Centrone, Stefania. author.

(1)

Chaitin, Gregory J.

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

Daepp, Ulrich. author.

(1)

Dahl, Veronica. editor.

(1)

Davis, Philip J., 1923-

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

DeVidi, David. editor.

(1)

Diaconescu, Răzvan. author.

(1)

Dickmann, M. A., 1940-

(1)

Doria, Francisco Antn̥io.

(1)

Dove, Ian J. editor.

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

Ewald, William. editor.

(1)

Fan, Ruzong. author.

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

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

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.

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

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

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

International Mathematical Union.

(1)

(1)

Jacquette, Dale. editor.

(1)

Kamareddine, Fairouz. author.

(1)

Kanamori, Akihiro. editor.

(1)

Karp, Carol, 1926-1972.

(1)

Kennedy, Juliette.

(1)

Kleene Symposium (1978 : Madison, Wis.)

(1)

Kleiner, Israel. author.

(1)

Knight, J. (Julia)

(1)

(1)

Tümünü genişlet

Dil

(237)

(10)

(4)

(3)

(1)

Yayın Yılı

-

(34)

(28)

(19)

(17)

(16)

(16)

(15)

(15)

(15)

(14)

(13)

(11)

(10)

(10)

(10)

(9)

(9)

(9)

(9)

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

(98)

(60)

(29)

Logic, Symbolic and mathematical -- Congresses.

(21)

Computer science.

(13)

Mathematical Logic and Foundations.

(12)

Mathematics -- Philosophy.

(12)

(12)

(9)

Global analysis (Mathematics).

(8)

(8)

Science -- Philosophy.

(8)

Algebraic logic.

(7)

Philosophy (General).

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

(6)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

(6)

Axiomatic set theory.

(5)

Intuitionistic mathematics.

(5)

Modality (Logic)

(5)

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)

Computer science -- Mathematics.

(3)

Gödel's theorem.

(3)

History of Mathematical Sciences.

(3)

Lattice theory.

(3)

MATEMATİK -- FELSEFE.

(3)

MATHEMATICS / Logic

(3)

MATHEMATICS / Logic.

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

Distribution (Probability theory).

(2)

Genetic epistemology.

(2)

Group theory -- Congresses.

(2)

(2)

Infinitary languages.

(2)

Information theory.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Knowledge, Theory of.

(2)

Logic -- Congresses.

(2)

(2)

Logic programming.

(2)

Logic, Medieval.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Mathematical Logic and Formal Languages.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Nonstandard mathematical analysis.

(2)

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

(1)

Artificial intelligence.

(1)

Axioms -- Congresses.

(1)

Bernays, Paul, 1888-1977.

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

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

Cardinal numbers.

(1)

Chemistry -- Mathematics.

(1)

(1)

(1)

Computable functions -- Congresses.

(1)

Computational Intelligence.

(1)

Computational linguistics.

(1)

Computer logic.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Computer software.

(1)

Constructibility (Set theory)

(1)

Constructive mathematics -- Congresses.

(1)

Curry-Howard isomorphism.

(1)

Cylindric algebras.

(1)

Data structures (Computer science)

(1)

Data structures (Computer science).

(1)

Decidability (Mathematical logic)

(1)

Decision making -- Congresses.

(1)

Descriptive set theory.

(1)

Economics, Mathematical.

(1)

Electrical engineers -- United States -- Biography.

(1)

Engineering mathematics.

(1)

(1)

Fixed point theory.

(1)

Forcing (Model theory)

(1)

Friedman, Harvey, 1948-

(1)

GEOMETRİ -- TEMEL.

(1)

(1)

(1)

Gd̲el's theorem.

(1)

Gentzen, Gerhard.

(1)

Geometry -- Foundations.

(1)

Geometry, Algebraic.

(1)

Geometry, algebraic.

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

(1)

Kleene, Stephen Cole, 1909-1994.

(1)

(1)

Lambda calculus.

(1)

Large cardinals.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Lincos (Artificial language)

(1)

Linguistics -- Philosophy.

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

Logic, Symbolic and mathematical -- Textbooks.

(1)

Logical positivism.

(1)

Logicians -- Great Britain -- Biography.

(1)

(1)

MANTIKSAL POZİTİVİZM.

(1)

(1)

Machine theory.

(1)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(1)

Mantık, sembolik ve matematiksel.

(1)

Many-valued logic.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Physics.

(1)

Mathematical Software.

(1)

Mathematical analysis -- Study and teaching.

(1)

Mathematical physics.

(1)

Mathematics -- Philosophy -- History -- 20th century.

(1)

(1)

Mathematische Logik.

(1)

(1)

(1)

(1)

(1)

Model theory -- Congresses.

(1)

Monotonic functions.

(1)

Mostowski, Andrzej -- Bibliography. Logic, Symbolic and mathematical.

(1)

Nonclassical mathematical logic -- Congresses.

(1)

Nonstandard mathematical analysis -- Congresses.

(1)

Nonstandard-Analysis.

(1)

Numbers, Cardinal.

(1)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

Popular Science in Mathematics/Computer Science/Natural Science/Technology.

(1)

(1)

Probability Theory and Stochastic Processes.

(1)

Problem solving -- Study and teaching.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Proof theory -- Study and teaching.

(1)

Proposition (Logic)

(1)

Quantum theory -- Mathematics.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Real Functions.

(1)

Recursive functions -- Congresses.

(1)

Relativitätstheorie.

(1)

Science (General).

(1)

Science -- Methodology.

(1)

Semantics -- Congresses.

(1)

(1)

Sequential machine theory.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

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

250 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 11 12 13 14 15 .. 21

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.

145.

Toward a systematic pragmatics için kapak resmi

Toward a systematic pragmatics

Toward a systematic pragmatics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Computer programming and formal systems için kapak resmi

Computer programming and formal systems

Computer programming and formal systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Foundations of set theory için kapak resmi

Foundations of set theory

Foundations of set theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Axiomatic set theory için kapak resmi

Axiomatic set theory

Axiomatic set theory

Yazar

Bernays, Paul, 1888-1977.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Combinatory logic için kapak resmi

Combinatory logic

Combinatory logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. için kapak resmi

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.

Yazar

Goodstein, R. L. (Reuben Louis)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Ordinal algebras için kapak resmi

Ordinal algebras

Ordinal algebras

Yazar

Tarski, Alfred.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Complete theories için kapak resmi

Complete theories

Complete theories

Yazar

Robinson, Abraham, 1918-1974.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Intuitionism an introduction için kapak resmi

Intuitionism an introduction

Intuitionism an introduction

Yazar

Heyting, A. (Arend), 1898-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Mathematical interpretation of formal systems için kapak resmi

Mathematical interpretation of formal systems

Mathematical interpretation of formal systems

Yazar

Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Solvable cases of the decision problem için kapak resmi

Solvable cases of the decision problem

Solvable cases of the decision problem

Yazar

Ackermann, W. (Wilhelm), 1896-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Nomological statements and admissible operations için kapak resmi

Nomological statements and admissible operations

Nomological statements and admissible operations

Yazar

Reichenbach, Hans, 1891-1953.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 11 12 13 14 15 .. 21

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11