Search Results for Logic, Symbolic and mathematical.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Publication Date: 2010

Author

SpringerLink (Online service)

(15)

Kanamori, Akihiro. editor.

(2)

Anshakov, Oleg M. author.

(1)

Black, Max, 1909-

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brodie, Helen Charlotte, 1915-

(1)

(1)

Carnap, Rudolf, 1891-1970.

(1)

Centrone, Stefania. author.

(1)

Chudnovsky, David. editor.

(1)

Chudnovsky, Gregory. editor.

(1)

Chwistek, Leon, 1884-

(1)

(1)

(1)

(1)

Deiser, Oliver. author.

(1)

Delon, Françoise.

(1)

Dodos, Pandelis. author.

(1)

Ebbinghaus, Heinz-Dieter. editor.

(1)

Feferman, Solomon.

(1)

Foreman, Matthew. editor.

(1)

Fraser, Craig G. editor.

(1)

Gabbay, Dov M. author.

(1)

Gergely, Tamás. author.

(1)

(1)

(1)

Indrzejczak, Andrzej. author.

(1)

Kohlenbach, Ulrich.

(1)

Lascar, Daniel, 1942- ort. yaz.

(1)

Lerman, Manuel.

(1)

Li, Wei. author.

(1)

Lipton, Richard J. author.

(1)

Maddy, Penelope.

(1)

Manin, Yu. I. author.

(1)

Monk, J. Donald. author.

(1)

Nguyen, Phuong.

(1)

Nickerson, Raymond S.

(1)

Parsons, Charles.

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Rautenberg, Wolfgang. author.

(1)

Schlechta, Karl. author.

(1)

Simpson, Stephen G..

(1)

Stephan, Frank.

(1)

Stillwell, John.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

(1)

Zermelo, Ernst. author.

(1)

Ziegler, Martin. author.

(1)

Language

(29)

(2)

Subject

Logic, Symbolic and mathematical.

(28)

(9)

Computer science.

(7)

(6)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

Mathematics -- Philosophy.

(4)

Artificial intelligence.

(3)

MATEMATİK -- FELSEFE.

(3)

Philosophy (General).

(3)

(2)

(2)

Information theory.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

(2)

Science -- Philosophy.

(2)

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

(1)

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

(1)

(1)

Computable functions.

(1)

Computational complexity.

(1)

Computer science -- Mathematics.

(1)

Computer software.

(1)

Data structures (Computer science)

(1)

Functional analysis.

(1)

Genetic epistemology.

(1)

(1)

Information systems.

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

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

(1)

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

(1)

Mantık, sembolik ve Matematiksel -- öğrenim ve öğretim (orta).

(1)

Matematik -- öğrenim ve öğretim (orta).

(1)

Mathematical analysis.

(1)

Mathematics -- Study and teaching (Secondary).

(1)

Mathematics_$xHistory.

(1)

(1)

(1)

Priority (Philosophy)

(1)

Problem solving.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Russell, Bertrand, 1872-1970.

(1)

Science -- History.

(1)

Science -- Methodology.

(1)

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

31 Results Found

Subscribe to search results

1 2 3

000000000000DEFAULT

Print

Select a 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.

1.

Cover image for Mathematical logic : A course with exercises

Mathematical logic : A course with exercises

Mathematical logic : A course with exercises

Author

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

2.

Cover image for The nature of mathematics : a critical survey

The nature of mathematics : a critical survey

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Cover image for The logical syntax of language

The logical syntax of language

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

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

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

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

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Cover image for The foundations of mathematics : and other logical essays

The foundations of mathematics : and other logical essays

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Cover image for An examination of logical positivism

An examination of logical positivism

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Cover image for Kurt Gödel Essays for his Centennial

Kurt Gödel Essays for his Centennial

Kurt Gödel Essays for his Centennial

Author

Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Propositions, functions, and analysis selected essays on Russell's philosophy

Propositions, functions, and analysis selected essays on Russell's philosophy

Propositions, functions, and analysis selected essays on Russell's philosophy

Author

Hylton, Peter.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Truth through proof a formalist foundation for mathematics

Truth through proof a formalist foundation for mathematics

Truth through proof a formalist foundation for mathematics

Author

Weir, Alan.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Author

Cook, Stephen. Nguyen, Phuong.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Roads to infinity the mathematics of truth and proof

Roads to infinity the mathematics of truth and proof

Roads to infinity the mathematics of truth and proof

Author

Stillwell, John.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Discrete structures, logic, and computability

Discrete structures, logic, and computability

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11