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

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)

Peirce, Charles S., author.

(2)

Pietarinen, Ahti-Veikko, contributor.

(2)

Pietarinen, Ahti-Veikko, editor.

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

Aldridge, Maurice V., author.

(1)

Andersen, Peter Bøgh, contributor.

(1)

Andreescu, Titu. author.

(1)

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

(1)

Andrica, Dorin. author.

(1)

Arnold, A. (André), 1945-

(1)

(1)

Assmann, Aleida, contributor.

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Baaz, Matthias.

(1)

Bajnok, Béla. author.

(1)

Balzer, Wolfgang, contributor.

(1)

Banerjee, Mohua. editor.

(1)

Bar-Hillel, Yehoshua, joint author.

(1)

(1)

Baré, Françoise, contributor.

(1)

(1)

Bayod, José Manuel.

(1)

Bede, Barnabas. author.

(1)

Bellucci, Francesco, editor.

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

Brandt, Per Aage, contributor.

(1)

Bridges, Douglas S. author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

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

(1)

Brown, Stephen F., contributor.

(1)

Brück, Kurt, contributor.

(1)

Buss, Samuel R.

(1)

Béziau, Jean-Yves. editor.

(1)

Böhme-Dürr, Karin, contributor.

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

Daepp, Ulrich. author.

(1)

Dahl, Veronica. editor.

(1)

Dascal, Marcelo, contributor.

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

Dorf, Richard C., editor.

(1)

Doria, Francisco Antonio.

(1)

Dove, Ian J. editor.

(1)

Drake, F. R. (Frank Robert)

(1)

Drake, Frank R.

(1)

Dummett, Michael, 1925-2011.

(1)

Dutz, Klaus D., contributor.

(1)

Dürr, Karl, 1888-

(1)

Düwel, Klaus, contributor.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Eco, Umberto, contributor.

(1)

Edwards, Harold M. author.

(1)

Einstein Institute of Mathematics.

(1)

Eisele, Carolyn, editor.

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

Frerichs, Klaus, contributor.

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

Galley, Niels, contributor.

(1)

Gallo, Franco Alberto, contributor.

(1)

Gandelman, Claude, contributor.

(1)

(1)

Geigges, Werner, contributor.

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

Graf, Fritz, contributor.

(1)

Griffor, Edward R.

(1)

Grotjahn, Rüdiger, contributor.

(1)

Gupta, Amitabha. editor.

(1)

Haarmann, Harald, contributor.

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

Hasle, Per, contributor.

(1)

(1)

Heinzmann, Gerhard.

(1)

Tümünü genişlet

Dil

(254)

(10)

(4)

(3)

(1)

Yayın Yılı

-

(36)

(28)

(20)

(18)

(18)

(17)

(16)

(16)

(16)

(15)

(13)

(12)

(12)

(11)

(10)

(10)

(10)

(10)

(10)

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

(5)

(5)

(5)

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

Mathematical Logic and Foundations.

(12)

Mathematics -- Philosophy.

(12)

(12)

(9)

Global analysis (Mathematics).

(8)

(8)

Science -- Philosophy.

(8)

Algebraic logic.

(7)

Philosophy (General).

(7)

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

(6)

Computational intelligence.

(6)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

Axiomatic set theory.

(5)

Intuitionistic mathematics.

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

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

Charles S. Peirce.

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

Genetic epistemology.

(2)

Group theory -- Congresses.

(2)

(2)

Infinitary languages.

(2)

Information theory.

(2)

Intuitionistic mathematics -- Congresses.

(2)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(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 / General

(2)

MATHEMATICS / General.

(2)

Mathematical Logic and Formal Languages.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Nonstandard mathematical analysis.

(2)

PHILOSOPHY / History & Surveys / Modern.

(2)

Peirce, Charles S.

(2)

(2)

(2)

(2)

Relation algebras.

(2)

Semantics (Philosophy)

(2)

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

(2)

diagrammatic reasoning.

(2)

existential graphs.

(2)

graphical method of logic.

(2)

logic and philosophy of logic.

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

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)

Categorial grammar.

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

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

GEOMETRİ -- TEMEL.

(1)

(1)

(1)

Gentzen, Gerhard.

(1)

Geometry -- Foundations.

(1)

Geometry, Algebraic.

(1)

Geometry, algebraic.

(1)

German language -- Study and teaching -- Foreign speakers.

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

Language and logic.

(1)

Large cardinals.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Lincos (Artificial language)

(1)

Linguistics -- Philosophy.

(1)

(1)

Logic diagrams.

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

MANTIKSAL POZİTİVİZM.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

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ç

267 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 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.

25.

The technique of controversy : principles of dynamic logic için kapak resmi

The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic

Yazar

Bogoslovsky, Boris Basil, 1890-

Yer Numarası

BC 108 B65 1928 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

26.

The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi

The limits of science : outline of logic and of the methodology of the exact sciences

The limits of science : outline of logic and of the methodology of the exact sciences

Yazar

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Yer Numarası

Q 175 C494 1948 A (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

27.

A treatise on induction and probability için kapak resmi

A treatise on induction and probability

A treatise on induction and probability

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 91 W72 1951 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

28.

An examination of logical positivism için kapak resmi

An examination of logical positivism

An examination of logical positivism

Yazar

Weinberg, Julius Rudolf, 1908-

Yer Numarası

B 824.6 W434 1936 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

29.

Residuated lattices an algebraic glimpse at substructural logics için kapak resmi

Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Yazar

Galatos, Nikolaos.

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Residuated lattices an algebraic glimpse at substructural logics için kapak resmi

Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Yazar

Galatos, Nikolaos.

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Lectures on the Curry-Howard isomorphism için kapak resmi

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Yazar

Sørensen, Morten Heine. Urzyczyn, Paweł.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Relation algebras için kapak resmi

Relation algebras

Relation algebras

Yazar

Maddux, R. D. (Roger D.), 1948-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Many-dimensional modal logics theory and applications için kapak resmi

Many-dimensional modal logics theory and applications

Many-dimensional modal logics theory and applications

Yazar

Gabbay, Dov M., 1945-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Relation algebras by games için kapak resmi

Relation algebras by games

Relation algebras by games

Yazar

Hirsch, R. (Robin) Hodkinson, Ian.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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:

36.

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:

1 2 3 4 5 .. 23

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11