Search Results for Logic, symbolic and mathematical. - Narrowed by: 2006
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bsymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026ps$003d300?
2024-11-06T02:50:47Z
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A logical Approach to Philosophy Essays in Honour of Graham Solomon
ent://SD_ILS/0/SD_ILS:152222
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
ent://SD_ILS/0/SD_ILS:152228
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Galavotti, Maria Carla. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
18 Unconventional Essays on the Nature of Mathematics
ent://SD_ILS/0/SD_ILS:165677
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Hersh, Reuben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Techniques of Constructive Analysis
ent://SD_ILS/0/SD_ILS:166228
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Congruences of a Finite Lattice A Proof-by-Picture Approach
ent://SD_ILS/0/SD_ILS:168148
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Grätzer, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Problems and Theorems in Classical Set Theory
ent://SD_ILS/0/SD_ILS:166139
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Axiom of Choice
ent://SD_ILS/0/SD_ILS:183983
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Herrlich, Horst. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
ent://SD_ILS/0/SD_ILS:183380
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
ent://SD_ILS/0/SD_ILS:197974
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Théorie des ensembles
ent://SD_ILS/0/SD_ILS:183915
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Bourbaki, N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorems, corollaries, lemmas, and methods of proof
ent://SD_ILS/0/SD_ILS:303091
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Commonsense reasoning
ent://SD_ILS/0/SD_ILS:253776
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Mueller, Erik T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tracking reason proof, consequence, and truth
ent://SD_ILS/0/SD_ILS:231352
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Azzouni, Jody.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ent://SD_ILS/0/SD_ILS:152338
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5012-7">http://dx.doi.org/10.1007/978-1-4020-5012-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and common sense a case of creative tension
ent://SD_ILS/0/SD_ILS:289848
2024-11-06T02:50:47Z
2024-11-06T02:50:47Z
Author Davis, Philip J., 1923-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439864326">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>