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

Daraltılmış:

+

Kütüphane: Çevrimiçi Kütüphane

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)

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)

Kleene, Stephen Cole, 1909-1994.

(2)

Kunen, Kenneth.

(2)

Odifreddi, Piergiorgio, 1950-

(2)

(2)

(2)

(2)

Vince, John. author.

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

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)

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)

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)

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)

Daepp, Ulrich. author.

(1)

Dahl, Veronica. editor.

(1)

Davis, Philip J., 1923-

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

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)

Gentzen, Gerhard.

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

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)

Jech, Thomas J.

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

Kobrinskiĭ, Natan Efimovich.

(1)

(1)

Kowalski, Robert. editor.

(1)

Kracht, Marcus.

(1)

Kreisel, Georg.

(1)

Krivine, J. L. (Jean Louis), joint author.

(1)

L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)

(1)

Laan, Twan. author.

(1)

Lascar, D. (Daniel), 1942-

(1)

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)

(1)

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)

(1)

Leblanc, Hugues, 1924-

(1)

Leivant, Daniel. editor.

(1)

Logic Colloquium '82 (Florence)

(1)

Logic Colloquium '84 (Manchester)

(1)

Logic Colloquium (10th : 1965 : University of Leicester)

(1)

Tümünü genişlet

Dil

(215)

(10)

(4)

(3)

(1)

Yayın Yılı

-

(23)

(17)

(10)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

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

(88)

(58)

(25)

Logic, Symbolic and mathematical -- Congresses.

(21)

Computer science.

(13)

Mathematical Logic and Foundations.

(12)

(11)

Mathematics -- Philosophy.

(9)

(9)

Global analysis (Mathematics).

(8)

(8)

Science -- Philosophy.

(8)

Algebraic logic.

(7)

Philosophy (General).

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

(6)

(6)

Axiomatic set theory.

(5)

Intuitionistic mathematics.

(5)

Modality (Logic)

(5)

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)

Gödel's theorem.

(3)

History of Mathematical Sciences.

(3)

Lattice theory.

(3)

MATHEMATICS / Logic

(3)

MATHEMATICS / Logic.

(3)

Mathematics -- Philosophy -- Congresses.

(3)

Mathematics, general.

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

Infinitary languages.

(2)

Information theory.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Knowledge, Theory of.

(2)

Logic -- Congresses.

(2)

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

AUTOMATH (Formal language)

(1)

(1)

Analytic spaces.

(1)

(1)

Artificial intelligence.

(1)

Axioms -- Congresses.

(1)

Bernays, Paul, 1888-1977.

(1)

Boethius, -524.

(1)

Boèce, m. 524.

(1)

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

(1)

Cardinal numbers.

(1)

Chemistry -- Mathematics.

(1)

(1)

(1)

Computable functions -- Congresses.

(1)

Computational Intelligence.

(1)

Computational linguistics.

(1)

Computer logic.

(1)

Computer software.

(1)

Constructibility (Set theory)

(1)

Constructive mathematics -- Congresses.

(1)

Curry-Howard isomorphism.

(1)

Cylindric algebras.

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

(1)

Gd̲el's theorem.

(1)

Gentzen, Gerhard.

(1)

Geometry, Algebraic.

(1)

Geometry, algebraic.

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

(1)

Kleene, Stephen Cole, 1909-1994.

(1)

Lambda calculus.

(1)

Large cardinals.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Lincos (Artificial language)

(1)

Linguistics -- Philosophy.

(1)

Logic programming.

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

Logicians -- Great Britain -- Biography.

(1)

(1)

Machine theory.

(1)

Many-valued logic.

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

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

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

(1)

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

(1)

Real Functions.

(1)

(1)

Recursive functions -- Congresses.

(1)

Relativitätstheorie.

(1)

Science (General).

(1)

Semantics -- Congresses.

(1)

(1)

Sequential machine theory.

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Software engineering.

(1)

Space and time.

(1)

(1)

Stochastic analysis.

(1)

Stone-Čech compactification.

(1)

THEORIE EQUATIONNELLE.

(1)

(1)

Theory of Computation.

(1)

(1)

(1)

(1)

Wissenschaftsphilosophie.

(1)

(1)

(1)

analyse stochastique.

(1)

langage algébrique.

(1)

logique mathématique.

(1)

logique premier ordre.

(1)

logique symbolique.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik 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

228 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 19

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.

13.

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) için kapak resmi

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Yazar

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-36874-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Logic of mathematics a modern course of classical logic için kapak resmi

Logic of mathematics a modern course of classical logic

Logic of mathematics a modern course of classical logic

Yazar

Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 için kapak resmi

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

Yazar

Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 19

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11