Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
8
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Subject: Logic, Symbolic and mathematical.
Author
Include
Exclude
SpringerLink (Online service)
(224)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(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)
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)
Ditmarsch, Hans. editor.
(2)
Ebbinghaus, Heinz-Dieter. author.
(2)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Flum, Jörg. author.
(2)
Gabbay, Dov M. editor.
(2)
Goncharov, Sergei S. editor.
(2)
Gupta, Amitabha. editor.
(2)
Henzinger, Thomas A. editor.
(2)
Herzberg, Frederik. author.
(2)
Hooker, John, 1949-
(2)
Kaminski, Michael. editor.
(2)
Kuratowski, Kazimierz, 1896-1980.
(2)
Lindström, Sten. editor.
(2)
Lucchetti, Roberto. editor.
(2)
Marchisotto, Elena Anne. author.
(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)
Project Muse.
(2)
Rautenberg, Wolfgang. author.
(2)
Rosen, Kenneth H.
(2)
Soifer, Alexander. author.
(2)
Sommaruga, Giovanni. editor.
(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)
Ackermann, W. (Wilhelm), 1896-
(1)
Adamowicz, Zofia.
(1)
Aiello, Marco.
(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)
Artemov, Sergei N. editor.
(1)
Aruoba, Oruç.
(1)
Asadi-Zeydabadi, Masoud. author.
(1)
Association for Symbolic Logic.
(1)
Astola, Jaakko. author.
(1)
Atanassov, Krassimir T. author.
(1)
Atmanspacher, Harald. editor.
(1)
Atten, Mark.
(1)
Aue, Maximilian.
(1)
Azzouni, Jody.
(1)
Aĭzerman, M. A. (Mark Aronovich), 1913-
(1)
Baaz, Matthias. author.
(1)
Bacchus, Fahiem. editor.
(1)
Bagaria, Joan. editor.
(1)
Bajnok, Béla. author.
(1)
Baltas, Aristeidēs.
(1)
Bartocci, Claudio. editor.
(1)
Basin, David.
(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)
Bloch, Ethan D. author.
(1)
Bloem, Roderick. editor.
(1)
Boer, Reint. author.
(1)
Bonizzoni, Paola. editor.
(1)
Bourbaki, N. author.
(1)
Boutelle, Anthony.
(1)
Braithwaite, Richard Bevan, ed.
(1)
Brattka, Vasco. editor.
(1)
Braüner, Torben. author.
(1)
Breda, Marco. author.
(1)
Brodie, Helen Charlotte, 1915-
(1)
Bundy, Alan.
(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)
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)
Coniglio, Marcelo. author.
(1)
Constanda, Christian. editor.
(1)
Cook, Roy T.
(1)
Cook, Stephen.
(1)
Cori, Rene.
(1)
Corradini, Andrea. editor.
(1)
Corsi, Giovanna. editor.
(1)
Cox, David. author.
(1)
Crossley, John N.
(1)
Crossley, John Newsome. author.
(1)
Cullinane, Michael J.
(1)
Cunningham, Daniel W. author.
(1)
Curien, Pierre-Louis. editor.
(1)
Daepp, Ulrich. author.
(1)
Dalen, D. van (Dirk), 1932-
(1)
Dalen, D. van.
(1)
Davis, Martin. editor.
(1)
Davis, Philip J. author.
(1)
Dawar, Anuj. editor.
(1)
De Morgan, Augustus, 1806-1871, author.
(1)
DeVidi, David. editor.
(1)
Demaine, Erik D., 1981-
(1)
Demopoulos, William.
(1)
Descartes (Descartes, René)
(1)
Devidi, David.
(1)
Diaconescu, Răzvan. author.
(1)
Dodos, Pandelis. author.
(1)
Dove, Ian J. editor.
(1)
Droste, Manfred. editor.
(1)
Duparc, Jacques. editor.
(1)
Dybjer, P. editor.
(1)
Décaillot, Anne-Marie. author.
(1)
Edwards, Harold M. author.
(1)
Ehrhard, Thomas.
(1)
Eijck, J. van (Jan)
(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)
Fant, Karl M.
(1)
Feferman, Solomon.
(1)
Feng, Zuming. author.
(1)
Ferenczi, Miklós. editor.
(1)
Fiadeiro, José Luiz. author.
(1)
Fine, Benjamin. author.
(1)
Fisher, Michael, 1962-
(1)
Fleiner, Tamás.
(1)
Foreman, Matthew. editor.
(1)
Fraser, Craig G. editor.
(1)
Fried, Michael D. author.
(1)
Gabbay, Dov M., 1945-
(1)
Gabbay, Dov. author.
(1)
Galavotti, Maria Carla.
(1)
Gallin, Daniel.
(1)
Gandy, R. O.
(1)
Gandy, R. O. (Robin O.)
(1)
Gelca, Răzvan. author.
(1)
Geldsetzer, Lutz. author.
(1)
Gentzen, Gerhard.
(1)
Gergely, Tamás. author.
(1)
Gerstein, Larry J. author.
(1)
Gibilisco, Stan.
(1)
Gillibert, Pierre. author.
(1)
Girard, Jean-Yves.
(1)
Givant, Steven. author.
(1)
Goldblatt, Robert.
(1)
Goldrei, Derek. author.
(1)
Golińska Pilarek, Joanna. author.
(1)
Gomes, Carla P. editor.
(1)
Goranko, Valentin. editor.
(1)
Gorkin, Pamela. author.
(1)
Gouveia, Paula. author.
(1)
Graham, Ronald L. editor.
(1)
Granström, Johan Georg. author.
(1)
Gregg, John.
(1)
Grohe, Martin. author.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(285)
German
(17)
Italian
(6)
Turkish
(3)
French
(2)
Multiple languages
(1)
More
View All
Fewer
Collapse All
Publication Date
Include
Exclude
-
2011
(51)
2013
(45)
2009
(37)
2012
(33)
2008
(32)
2010
(28)
2005
(27)
2007
(27)
2006
(26)
2018
(14)
2004
(9)
2000
(8)
2002
(8)
2001
(7)
2014
(7)
2015
(7)
2016
(7)
2003
(6)
2017
(6)
2019
(6)
2020
(6)
2021
(6)
2022
(6)
2023
(6)
2024
(6)
1997
(3)
1962
(2)
1967
(2)
1969
(2)
1971
(2)
1979
(2)
1989
(2)
1996
(2)
1998
(2)
1931
(1)
1933
(1)
1936
(1)
1937
(1)
1948
(1)
1952
(1)
1954
(1)
1955
(1)
1956
(1)
1963
(1)
1964
(1)
1965
(1)
1966
(1)
1975
(1)
1982
(1)
1984
(1)
1985
(1)
1986
(1)
1987
(1)
1994
(1)
1999
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Mathematics.
(128)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Logic design.
(31)
Algebra.
(29)
Philosophy (General).
(29)
Mathematical Logic and Foundations.
(28)
Information theory.
(22)
Combinatorics.
(21)
Number theory.
(20)
Science -- Philosophy.
(20)
Computer software.
(18)
Algebra -- Data processing.
(15)
Computational complexity.
(15)
Mathematics_$xHistory.
(13)
Mathematics -- Philosophy.
(12)
Mathematical Logic and Formal Languages.
(11)
Global analysis (Mathematics).
(10)
Distribution (Probability theory).
(8)
Electronic data processing.
(8)
Genetic epistemology.
(8)
Geometry, algebraic.
(8)
Topology.
(8)
Algorithms.
(7)
Geometry.
(7)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(7)
Set theory.
(7)
Software engineering.
(7)
Engineering.
(6)
Operating systems (Computers).
(6)
Proof theory.
(6)
Computer science -- Mathematics.
(5)
History of Mathematical Sciences.
(5)
Logics and Meanings of Programs.
(5)
Semantics.
(5)
Electronic books.
(4)
Functional analysis.
(4)
Game Theory, Economics, Social and Behav. Sciences.
(4)
Mathematics, general.
(4)
Metaphysics.
(4)
Ontology.
(4)
Philosophy.
(4)
Science -- History.
(4)
Semantics (Philosophy)
(4)
Theory of Computation.
(4)
Data mining.
(3)
Economics.
(3)
Gödel, Kurt.
(3)
Linguistics -- Philosophy.
(3)
MATEMATİK -- FELSEFE.
(3)
Mathematical physics.
(3)
Modality (Logic)
(3)
Natural language processing (Computer science)
(3)
Phenomenology.
(3)
Quantum theory.
(3)
Reasoning.
(3)
Visualization.
(3)
Algorithm Analysis and Problem Complexity.
(2)
Artificial Intelligence (incl. Robotics).
(2)
Coding theory.
(2)
Computable functions.
(2)
Computation by Abstract Devices.
(2)
Computational Intelligence.
(2)
Discrete Mathematics in Computer Science.
(2)
Engineering mathematics.
(2)
Information systems.
(2)
Intuitionistic mathematics.
(2)
Logic programming.
(2)
Logical positivism.
(2)
MANTIKSAL POZİTİVİZM.
(2)
MATHEMATICS / Logic.
(2)
Mantık, Sembolik ve matematiksel.
(2)
Mantık, sembolik ve Matematiksel.
(2)
Matematik.
(2)
Math Applications in Computer Science.
(2)
Mathematical optimization.
(2)
Mathematics of Computing.
(2)
Matrix theory.
(2)
Mostowski, Andrzej -- Bibliography.
(2)
Operator theory.
(2)
Physics.
(2)
Programming Languages, Compilers, Interpreters.
(2)
Science (General).
(2)
Sequences (Mathematics).
(2)
Symbolic and Algebraic Manipulation.
(2)
System safety.
(2)
Systems theory.
(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)
Applications of Mathematics.
(1)
Arithmetic and Logic Structures.
(1)
Astronomy.
(1)
Asynchronous circuits -- Design and construction.
(1)
Automatic theorem proving.
(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)
Computational linguistics.
(1)
Computer architecture.
(1)
Computing Methodologies.
(1)
Constructive mathematics.
(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)
Dil ve diller.
(1)
Discrete groups.
(1)
Econometrics.
(1)
Economics, Mathematical.
(1)
Education -- Philosophy.
(1)
Education.
(1)
Electronic digital computers -- Circuits -- Design.
(1)
Engineering geology.
(1)
Ensembles, Théorie des.
(1)
Epistemology.
(1)
Evolution (Biology).
(1)
Expert systems (Computer science)
(1)
Felsefe.
(1)
Field theory (Physics).
(1)
Finance.
(1)
Fourier analysis.
(1)
Frege, Gottlob, 1848-1925.
(1)
Games -- Mathematical models.
(1)
Games of strategy (Mathematics)
(1)
Gentzen, Gerhard.
(1)
God.
(1)
Graph Theory.
(1)
Group theory.
(1)
Gödel's theorem.
(1)
Hesap karmaşıklığı.
(1)
History of Philosophy.
(1)
History of Science.
(1)
Humanities.
(1)
Hydraulic engineering.
(1)
Immanence (Philosophy)
(1)
Induction (Logic)
(1)
Industrial engineering.
(1)
Inference.
(1)
Infinite.
(1)
Informatica.
(1)
Information Storage and Retrieval.
(1)
Information storage and retrieval systems.
(1)
Informationstheorie.
(1)
Informatique -- Mathématiques.
(1)
K-theory.
(1)
Knowledge representation (Information theory)
(1)
Language and languages -- Philosophy.
(1)
Language and languages.
(1)
Leśniewski, Stanislaw, 1896-1939.
(1)
Linear programming.
(1)
Linguistics.
(1)
Logica.
(1)
Logique symbolique et mathématique.
(1)
MANTIK, SEMBOLİK VE MATEMATİKSEL.
(1)
MANTIK.
(1)
MATHEMATICS / General
(1)
Machine theory.
(1)
Makine kuramı.
(1)
Mantık, Sembolik ve matematiksel -- Ders kitapları.
(1)
Mantık, sembolik ve matematiksel.
(1)
Matematik -- Popüler eserler.
(1)
Mathematical Physics.
(1)
Mathematical Software.
(1)
Mathematical analysis.
(1)
Mathematical notation.
(1)
Mathematical recreations.
(1)
Mathematical statistics.
(1)
Mathematics -- Popular works.
(1)
Mathematics of Algorithmic Complexity.
(1)
Mathematische Logik.
(1)
Metamathematics.
(1)
Model theory.
(1)
Mostowski, Andrzej -- Bibliography. Logic, Symbolic and mathematical.
(1)
Music.
(1)
Natuurlijke taal.
(1)
Natürliche Sprache.
(1)
Nonstandard mathematical analysis.
(1)
Numerical analysis.
(1)
Operations research.
(1)
Order, Lattices, Ordered Algebraic Structures.
(1)
Peirce, Charles S. (Charles Sanders), 1839-1914.
(1)
Philosophy of nature.
(1)
Philosophy, modern.
(1)
Popular Science in Mathematics/Computer Science/Natural Science/Technology.
(1)
Pragmatics.
(1)
Predicate (Logic)
(1)
Priority (Philosophy)
(1)
Probabilities.
(1)
Probability Theory and Stochastic Processes.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
Book
E-Book
Shelf Location
Include
Exclude
Beytepe General Collection
Electronic Library
Prof.Dr.Onur Bilge Kulak Collection
Library
Include
Exclude
Beytepe Library
Online Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
313 Results Found
1
..
23
24
25
26
27
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
313.
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
Author
Mostowski, Andrzej.
Preferred Shelf Number
ONLINE
Electronic Access
ScienceDirect
http://www.sciencedirect.com/science/book/9780444533753
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
23
24
25
26
27