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

133.

Introduction to the theory of finite automata için kapak resmi

Introduction to the theory of finite automata

Introduction to the theory of finite automata

Yazar

Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Languages with expressions of infinite length için kapak resmi

Languages with expressions of infinite length

Languages with expressions of infinite length

Yazar

Karp, Carol, 1926-1972.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Introduction to model theory and to the metamathematics of algebra için kapak resmi

Introduction to model theory and to the metamathematics of algebra

Introduction to model theory and to the metamathematics of algebra

Yazar

Robinson, Abraham, 1918-1974.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Computer programming and formal systems için kapak resmi

Computer programming and formal systems

Computer programming and formal systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Equivalents of the axiom of choice için kapak resmi

Equivalents of the axiom of choice

Equivalents of the axiom of choice

Yazar

Rubin, Herman. Rubin, Jean E., author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Aristotle's modal syllogisms için kapak resmi

Aristotle's modal syllogisms

Aristotle's modal syllogisms

Yazar

McCall, Storrs.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

A survey of mathematical logic için kapak resmi

A survey of mathematical logic

A survey of mathematical logic

Yazar

Wang, Hao, 1921-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

The logical systems of Lesniewski için kapak resmi

The logical systems of Lesniewski

The logical systems of Lesniewski

Yazar

Luschei, Eugene C.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Recursive analysis için kapak resmi

Recursive analysis

Recursive analysis

Yazar

Goodstein, R. L. (Reuben Louis)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Lincos design of a language for cosmic intercourse için kapak resmi

Lincos design of a language for cosmic intercourse

Lincos design of a language for cosmic intercourse

Yazar

Freudenthal, Hans, 1905-1990.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

A study in the philosophy of science için kapak resmi

A study in the philosophy of science

A study in the philosophy of science

Yazar

Beth, Evert Willem.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

The axiomatic method için kapak resmi

The axiomatic method

The axiomatic method

Yazar

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 10 11 12 13 14 .. 21

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11