Search Results for Mathematical logic. - Narrowed by: 2006

Mathematical logic : A course with exercises

2024-11-24T13:43:33Z

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

A Concise Introduction to Mathematical Logic

2024-11-24T13:43:33Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-11-24T13:43:33Z

Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources
Availability Online Library~1

An examination of logical positivism

2024-11-24T13:43:33Z

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

The logical syntax of language

2024-11-24T13:43:33Z

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

2024-11-24T13:43:33Z

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

The nature of mathematics : a critical survey

2024-11-24T13:43:33Z

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

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

2024-11-24T13:43:33Z

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

A logical Approach to Philosophy Essays in Honour of Graham Solomon

2024-11-24T13:43:33Z

Author Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4054-7
Format: Electronic Resources
Availability Online Library~1

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

2024-11-24T13:43:33Z

Author Galavotti, Maria Carla. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4101-2
Format: Electronic Resources
Availability Online Library~1

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

2024-11-24T13:43:33Z

Author Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: Electronic Resources
Availability Online Library~1

18 Unconventional Essays on the Nature of Mathematics

2024-11-24T13:43:33Z

Author Hersh, Reuben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29831-2
Format: Electronic Resources
Availability Online Library~1

Techniques of Constructive Analysis

2024-11-24T13:43:33Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38147-3
Format: Electronic Resources
Availability Online Library~1

Problems and Theorems in Classical Set Theory

2024-11-24T13:43:33Z

Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36219-3
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory

2024-11-24T13:43:33Z

Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28788-4
Format: Electronic Resources
Availability Online Library~1

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

2024-11-24T13:43:33Z

Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32439-3
Format: Electronic Resources
Availability Online Library~1

Théorie des ensembles

2024-11-24T13:43:33Z

Author Bourbaki, N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34035-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-11-24T13:43:33Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Notes on Set Theory

2024-11-24T13:43:33Z

Author Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources
Availability Online Library~1

The Congruences of a Finite Lattice A Proof-by-Picture Approach

2024-11-24T13:43:33Z

Author Grätzer, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4462-8
Format: Electronic Resources
Availability Online Library~1

Parameterized Complexity Theory

2024-11-24T13:43:33Z

Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources
Availability Online Library~1

Axiom of Choice

2024-11-24T13:43:33Z

Author Herrlich, Horst. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601562
Format: Electronic Resources
Availability Online Library~1

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

2024-11-24T13:43:33Z

Author Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36023-9
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-11-24T13:43:33Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Commonsense reasoning

2024-11-24T13:43:33Z

Author Mueller, Erik T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: Electronic Resources
Availability Online Library~1

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

2024-11-24T13:43:33Z

Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7692-9
Format: Electronic Resources
Availability Online Library~1

Tracking reason proof, consequence, and truth

2024-11-24T13:43:33Z

Author Azzouni, Jody.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001
Format: Electronic Resources
Availability Online Library~1

Thinking about acting logical foundations for rational decision making

2024-11-24T13:43:33Z

Author Pollock, John L.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001
Format: Electronic Resources
Availability Online Library~1

Theorems, corollaries, lemmas, and methods of proof

2024-11-24T13:43:33Z

Author Rossi, Richard J., 1956-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library Click here to view book John Wiley http://dx.doi.org/10.1002/9781118031575 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: Electronic Resources
Availability Online Library~1

Mathematics and common sense a case of creative tension

2024-11-24T13:43:33Z

Author Davis, Philip J., 1923-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1