Search Results for MATHEMATICS / Logic

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:

+

Shelf Location: Beytepe General Collection

Author

Rosen, Kenneth H.

(2)

Wright, Georg Henrik von, 1916-

(2)

Black, Max, 1909-

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Boone, W. W., ed.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brodie, Helen Charlotte, 1915-

(1)

Cannonito, F. B., ed.

(1)

Chwistek, Leon, 1884-

(1)

Conradie, Willem, 1978- author.

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

Drake, Frank R.

(1)

Gemignani, Michael C.

(1)

Goranko, Valentin, author.

(1)

(1)

(1)

Jech, Thomas J.

(1)

Krithivasan, Kamala.

(1)

Kuusela, Oskari.

(1)

Lyndon, R. C., ed.

(1)

(1)

Mendelson, Elliott.

(1)

Monk, J. Donald, ort. yaz.

(1)

Nicod, Jean, 1893-1924.

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Rasiowa, Helena.

(1)

Tarski, Alfred, ort. yaz.

(1)

Tieszen, Richard L., author.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

Language

(22)

Publication Date

-

(11)

(11)

(11)

(10)

(10)

(10)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(9)

(3)

(3)

(3)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(10)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

(4)

(4)

Computer science -- Mathematics.

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematics -- Philosophy.

(3)

(2)

(2)

AKIL YÜRÜTME.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

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

(1)

CEBİRSEL MANTIK.

(1)

Computable functions.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Data structures (Computer science)

(1)

GEOMETRİ -- TEMEL.

(1)

(1)

Geometry -- Foundations.

(1)

GÖDEL TEOREMİ.

(1)

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

Logical positivism.

(1)

MANTIKSAL POZİTİVİZM.

(1)

(1)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(1)

Mantık, sembolik ve matematiksel.

(1)

(1)

Numbers, Cardinal.

(1)

(1)

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Science -- Methodology.

(1)

(1)

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

(1)

Wittgenstein, Ludwig, 1889-1951.

(1)

Material Type

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

22 Results Found

Subscribe to search results

1 2

0000000000DEFAULT

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.

13.

Cover image for An algebraic approach to nonclassical logics

An algebraic approach to nonclassical logics

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Cover image for Set theory : an introduction to large cardinals

Set theory : an introduction to large cardinals

Set theory : an introduction to large cardinals

Author

Drake, Frank R.

Preferred Shelf Number

QA 248 D7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Cover image for Word problems : decision problems and the burnside problem in group theory

Word problems : decision problems and the burnside problem in group theory

Word problems : decision problems and the burnside problem in group theory

Author

Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.

Preferred Shelf Number

QA 171 W85 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Cover image for The axiom of choice

The axiom of choice

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

17.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Cover image for Formal logic, or, The calculus of inference, necessary and probable

Formal logic, or, The calculus of inference, necessary and probable

Formal logic, or, The calculus of inference, necessary and probable

Author

De Morgan, Augustus, 1806-1871, author.

Preferred Shelf Number

BC135 D4 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Cover image for Discrete mathematics and its applications

Discrete mathematics and its applications

Discrete mathematics and its applications

Author

Rosen, Kenneth H. Krithivasan, Kamala.

Preferred Shelf Number

QA39.3 R674 2013

Format:

Availability

Beytepe Library~2

Available:
Copies:

20.

Cover image for The Oxford handbook of Wittgenstein

The Oxford handbook of Wittgenstein

The Oxford handbook of Wittgenstein

Author

Kuusela, Oskari. McGinn, Marie.

Preferred Shelf Number

B3376.W564 O95 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

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:

22.

Cover image for Discrete mathematics and its applications

Discrete mathematics and its applications

Discrete mathematics and its applications

Author

Rosen, Kenneth H.

Preferred Shelf Number

QA39.3 R674 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11