Search Results for Logic, Symbolic and mathematical.

|

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)

(225)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Mostowski, Andrzej.

(3)

Nerode, Anil. editor.

(3)

(3)

Suppes, Patrick, 1922-

(3)

Wiley InterScience (Online service)

(3)

Artemov, Sergei. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

Cooper, S. Barry. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Goncharov, Sergei S. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hooker, John, 1949-

(2)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Mundici, Daniele. author.

(2)

Ong, Luke. editor.

(2)

Pacuit, Eric. editor.

(2)

Palmgren, Erik. editor.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Rosen, Kenneth H.

(2)

Soifer, Alexander. author.

(2)

Sommaruga, Giovanni. editor.

(2)

Tarski, Alfred.

(2)

Tieszen, Richard.

(2)

Vîţă, Luminiţa Simona. author.

(2)

Wallis, W.D. author.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

van Benthem, Johan. editor.

(2)

Aberdein, Andrew. editor.

(1)

Academia Republicii Socialiste România.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albeverio, Sergio. author.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anshakov, Oleg M. author.

(1)

Arruda, A. I. (Ayda Ignez)

(1)

Artemov, Sergei N. editor.

(1)

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Aue, Maximilian.

(1)

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

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

(1)

Baaz, Matthias. author.

(1)

Bacchus, Fahiem. editor.

(1)

Bagaria, Joan. editor.

(1)

Bajnok, Béla. author.

(1)

Baltas, Aristeidēs.

(1)

Bar-Hillel, Yehoshua.

(1)

Bartocci, Claudio. editor.

(1)

(1)

Bede, Barnabas. author.

(1)

Bel-Enguix, Gemma. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bendegem, Jean Paul.

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Benthem, Johan van, 1949-

(1)

Berg, Imme. editor.

(1)

Bernardi, Claudio. author.

(1)

Betti, Renato. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Biere, Armin. editor.

(1)

Black, Max, 1909-

(1)

Blackburn, Patrick. editor.

(1)

Blanton, Maria L.

(1)

Bloch, Ethan D. author.

(1)

Bloem, Roderick. editor.

(1)

Boer, Reint. author.

(1)

Boffa, Maurice.

(1)

Bonizzoni, Paola. editor.

(1)

Bourbaki, N. author.

(1)

Boutelle, Anthony.

(1)

Brady, Geraldine.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brattka, Vasco. editor.

(1)

Braüner, Torben. author.

(1)

Breda, Marco. author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

(1)

(1)

Burgess, John P..

(1)

Buscema, Paolo Massimo. author.

(1)

Butler, Steve. editor.

(1)

Béziau, Jean-Yves. editor.

(1)

Börger, E. (Egon), 1946-

(1)

Cantini, Andrea.

(1)

Cantone, Domenico. author.

(1)

Carnap, Rudolf, 1891-1970.

(1)

Casari, E. editor.

(1)

Centrone, Stefania. author.

(1)

Chakraborty, Mihir. editor.

(1)

Chandru, Vijay, 1953-

(1)

Charpentier, Éric. editor.

(1)

Chong, C.-T. (Chi-Tat), 1949-

(1)

(1)

Chudnovsky, David. editor.

(1)

Chudnovsky, Gregory. editor.

(1)

Chwistek, Leon, 1884-

(1)

Ciliberto, Ciro. editor.

(1)

Clarke, Edmund M. editor.

(1)

Clarke, Peter. editor.

(1)

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

Coniglio, Marcelo. author.

(1)

Conradie, Willem, 1978- author.

(1)

Constanda, Christian. editor.

(1)

(1)

(1)

Cooper, S. Barry.

(1)

(1)

Corradini, Andrea. editor.

(1)

Corsi, Giovanna. editor.

(1)

Costa, Newton C. A. da.

(1)

Cox, David. author.

(1)

Crossley, John Newsome. author.

(1)

Cullinane, Michael J.

(1)

Cunningham, Daniel W. author.

(1)

Curien, Pierre-Louis. editor.

(1)

Daepp, Ulrich. author.

(1)

(1)

Davis, Martin. editor.

(1)

Davis, Philip J. author.

(1)

Davis, Philip J., 1923-

(1)

Dawar, Anuj. editor.

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

DeVidi, David. editor.

(1)

Delon, Françoise.

(1)

Demaine, Erik D., 1981-

(1)

Demopoulos, William.

(1)

Descartes (Descartes, René)

(1)

(1)

Diaconescu, Răzvan. author.

(1)

Dimitracopoulos, Costas.

(1)

Dodos, Pandelis. author.

(1)

Dove, Ian J. editor.

(1)

Droste, Manfred. editor.

(1)

(1)

Dummett, Michael, 1925-2011.

(1)

Duparc, Jacques. editor.

(1)

Dybjer, P. editor.

(1)

Décaillot, Anne-Marie. author.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Edwards, Harold M. author.

(1)

Ehrhard, Thomas.

(1)

Eijck, J. van (Jan)

(1)

Einstein Institute of Mathematics.

(1)

Enescu, Bogdan. author.

(1)

Engler, Antonio J. author.

(1)

Equipe de logique mathématique (Paris, France)

(1)

Erk, Katrin. author.

(1)

Ewald, William. editor.

(1)

Fan, Ruzong. author.

(1)

(1)

Feferman, Solomon.

(1)

Feng, Zuming. author.

(1)

Fenstad, Jens Erik, ed.

(1)

Tümünü genişlet

Dil

(327)

(18)

(6)

(5)

(3)

Multiple languages

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(55)

(46)

(39)

(34)

(33)

(31)

(29)

(29)

(28)

(14)

(10)

(9)

(9)

(8)

(8)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

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

(314)

(129)

Computer science.

(101)

(48)

Artificial intelligence.

(34)

(31)

(30)

Philosophy (General).

(29)

Mathematical Logic and Foundations.

(28)

Logic, Symbolic and mathematical -- Congresses.

(25)

Information theory.

(22)

(21)

(21)

Science -- Philosophy.

(20)

Computer software.

(18)

Algebra -- Data processing.

(15)

Computational complexity.

(15)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Mathematical Logic and Formal Languages.

(11)

Global analysis (Mathematics).

(10)

Geometry, algebraic.

(9)

Distribution (Probability theory).

(8)

Electronic data processing.

(8)

Genetic epistemology.

(8)

(8)

(8)

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

(7)

Software engineering.

(7)

(6)

Operating systems (Computers).

(6)

(6)

Computer science -- Mathematics.

(5)

Electronic books.

(5)

History of Mathematical Sciences.

(5)

Logics and Meanings of Programs.

(5)

(5)

(5)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics, general.

(4)

(4)

(4)

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Theory of Computation.

(4)

(3)

(3)

(3)

Linguistics -- Philosophy.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematical physics.

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

(3)

Quantum theory.

(3)

(3)

Algorithm Analysis and Problem Complexity.

(2)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Artificial intelligence -- Mathematics.

(2)

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computation by Abstract Devices.

(2)

Computational Intelligence.

(2)

Discrete Mathematics in Computer Science.

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

Information systems.

(2)

Intuitionistic mathematics.

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- History -- 20th century.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logic, symbolic and mathematical.

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

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

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Math Applications in Computer Science.

(2)

Mathematical optimization.

(2)

Mathematics of Computing.

(2)

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

Symbolic and Algebraic Manipulation.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(2)

logique mathématique.

(2)

logique symbolique.

(2)

Akıl yürütme.

(1)

Algebra, Boolean.

(1)

Algebraic topology.

(1)

Analysis (Philosophy) -- History -- 20th century.

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Boole, Algèbre de.

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

Category Theory, Homological Algebra.

(1)

Combinatorial optimization.

(1)

(1)

Communication -- Philosophy.

(1)

Computational intelligence.

(1)

Computational linguistics.

(1)

Computer architecture.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Computing Methodologies.

(1)

Constructive mathematics.

(1)

Critical thinking.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science)

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Decision making -- Mathematical models.

(1)

Decision support systems.

(1)

Differentiable dynamical systems.

(1)

Differential equations, partial.

(1)

(1)

Discrete groups.

(1)

(1)

Economics, Mathematical.

(1)

Education -- Philosophy.

(1)

(1)

Electronic digital computers -- Circuits -- Design.

(1)

Engineering geology.

(1)

Ensembles, Théorie des.

(1)

(1)

Evolution (Biology).

(1)

Expert systems (Computer science)

(1)

(1)

(1)

Fourier analysis.

(1)

Frege, Gottlob, 1848-1925.

(1)

Games -- Mathematical models.

(1)

Games of strategy (Mathematics)

(1)

Gentzen, Gerhard.

(1)

(1)

(1)

(1)

Gödel's theorem.

(1)

Hesap karmaşıklığı.

(1)

History of Philosophy.

(1)

History of Science.

(1)

(1)

Hydraulic engineering.

(1)

Immanence (Philosophy)

(1)

Induction (Logic)

(1)

Industrial engineering.

(1)

(1)

(1)

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Informationstheorie.

(1)

Informatique -- Mathématiques.

(1)

(1)

Knowledge representation (Information theory)

(1)

Knowledge, Theory of.

(1)

Kunstmatige intelligentie.

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Linear programming.

(1)

(1)

Logic, Symbolic and mathematical -- Congresses. Methodology -- Congresses. Science -- Philosophy -- Congresses.

(1)

Logic, Symbolic and mathematical -- Famous problems.

(1)

Logic, Symbolic and mathematical -- History -- 19th century.

(1)

Logic, Symbolic and mathematical -- Methodology.

(1)

Logic, Symbolic and mathematical -- Philosophy.

(1)

Logic, Symbolic and mathematical -- Study and teaching (Secondary).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Prof.Dr.Onur Bilge Kulak Collection

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

357 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 26 27 28 29 30

000000000DEFAULT_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.

349.

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:

350.

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:

351.

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:

352.

Aklın idaresi için kurallar için kapak resmi

Aklın idaresi için kurallar

Aklın idaresi için kurallar

Yazar

Descartes (Descartes, René) Karasan, Mehmet.

Yer Numarası

B1868 D445 1962

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

353.

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:

354.

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:

355.

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:

356.

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:

357.

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel için kapak resmi

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Yazar

Mostowski, Andrzej.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 26 27 28 29 30

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11