Search Results for Logic, Symbolic and mathematical. - Narrowed by: 2013

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

2025-12-15T02:26:22Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2025-12-15T02:26:22Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

The logical syntax of language

2025-12-15T02:26:22Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2025-12-15T02:26:22Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2025-12-15T02:26:22Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

An examination of logical positivism

2025-12-15T02:26:22Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Kurt Gödel Essays for his Centennial

2025-12-15T02:26:22Z

Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Discrete mathematics and its applications

2025-12-15T02:26:22Z

Author Rosen, Kenneth H. Krithivasan, Kamala.
Preferred Shelf Number QA39.3 R674 2013
Format: Books
Availability Beytepe Library~2

Logicism and its philosophical legacy

2025-12-15T02:26:22Z

Author Demopoulos, William.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286
Format: Electronic Resources
Availability Online Library~1

An introduction to Gödel's theorems

2025-12-15T02:26:22Z

Author Smith, Peter, 1944- author.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: Electronic Resources
Availability Online Library~1

Önermeler mantığı

2025-12-15T02:26:22Z

Author Nesin, Ali.
Preferred Shelf Number QA270 N476 2013
Format: Books
Availability Beytepe Library~3

A transition to mathematics with proofs

2025-12-15T02:26:22Z

Author Cullinane, Michael J.
Preferred Shelf Number QA9 C84 2013
Format: Books
Availability Beytepe Library~1

An Invitation to Abstract Mathematics

2025-12-15T02:26:22Z

Author Bajnok, Béla. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332077.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

2025-12-15T02:26:22Z

Author Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00119-7
Format: Electronic Resources
Availability Online Library~1

Stochastic Calculus with Infinitesimals

2025-12-15T02:26:22Z

Author Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33149-7
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2025-12-15T02:26:22Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

2025-12-15T02:26:22Z

Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334018.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35644-5
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2025-12-15T02:26:22Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2025-12-15T02:26:22Z

Author Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334702.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Electronic Resources
Availability Online Library~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-12-15T02:26:22Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2025-12-15T02:26:22Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2025-12-15T02:26:22Z

Author Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335100.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2025-12-15T02:26:22Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2025-12-15T02:26:22Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2025-12-15T02:26:22Z

Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330942.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Electronic Resources
Availability Online Library~1

A Logical Introduction to Proof

2025-12-15T02:26:22Z

Author Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331358.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2025-12-15T02:26:22Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Paul Erdős II

2025-12-15T02:26:22Z

Author Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332243.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2025-12-15T02:26:22Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

2025-12-15T02:26:22Z

Author Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01333-6
Format: Electronic Resources
Availability Online Library~1

The Real Numbers An Introduction to Set Theory and Analysis

2025-12-15T02:26:22Z

Author Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332876.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01577-4
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2025-12-15T02:26:22Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Electronic Resources
Availability Online Library~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2025-12-15T02:26:22Z

Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335941.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Electronic Resources
Availability Online Library~1

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

2025-12-15T02:26:22Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338283.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: Electronic Resources
Availability Online Library~1

Logic and Structure

2025-12-15T02:26:22Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331010.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Electronic Resources
Availability Online Library~1

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

2025-12-15T02:26:22Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331026.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2025-12-15T02:26:22Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

The Argument of Mathematics

2025-12-15T02:26:22Z

Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336263.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Electronic Resources
Availability Online Library~1

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

2025-12-15T02:26:22Z

Author Zeidler, Eberhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337476.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00297-8
Format: Electronic Resources
Availability Online Library~1

After Gödel : Platonism and rationalism in mathematics and logic

2025-12-15T02:26:22Z

Author Tieszen, Richard L., author.
Preferred Shelf Number QA9 T54 2013
Format: Books
Availability Beytepe Library~1

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

2025-12-15T02:26:22Z

Author Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332605.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: Electronic Resources
Availability Online Library~1

Visual Reasoning with Diagrams

2025-12-15T02:26:22Z

Author Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332637.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: Electronic Resources
Availability Online Library~1

Towards a General Theory of Classifications

2025-12-15T02:26:22Z

Author Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: Electronic Resources
Availability Online Library~1

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

2025-12-15T02:26:22Z

Author Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336850.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-69444-1
Format: Electronic Resources
Availability Online Library~1

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

2025-12-15T02:26:22Z

Author Tapp, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29654-3
Format: Electronic Resources
Availability Online Library~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2025-12-15T02:26:22Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337115.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34720-7
Format: Electronic Resources
Availability Online Library~1