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:

+

Material Type: Book

+

Language: English

Author

Rosen, Kenneth H.

(2)

Black, Max, 1909-

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brodie, Helen Charlotte, 1915-

(1)

(1)

Carnap, Rudolf, 1891-1970.

(1)

Chwistek, Leon, 1884-

(1)

(1)

Conradie, Willem, 1978- author.

(1)

(1)

Cullinane, Michael J.

(1)

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

(1)

Goranko, Valentin, author.

(1)

(1)

Krithivasan, Kamala.

(1)

Kunen, Kenneth.

(1)

Lascar, Daniel, 1942- ort. yaz.

(1)

Lewis, Harry R.

(1)

Liebeck, M. W. (Martin W.), 1954-

(1)

McCarthy, John E.

(1)

Mendelson, Elliott.

(1)

Papadimitriou, Christos H.

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Tieszen, Richard L., author.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

Publication Date

-

(9)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(3)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(17)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

(4)

Computer science -- Mathematics.

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematics -- Philosophy.

(3)

Logic, Symbolic and mathematical -- Textbooks.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

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

(2)

(2)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

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

(1)

Computable functions.

(1)

Computational complexity.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

Data structures (Computer science)

(1)

(1)

Hesap karmaşıklığı.

(1)

Logic programming.

(1)

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

(1)

Machine theory.

(1)

Makine kuramı.

(1)

Mantık, sembolik ve Matematiksel -- Ders kitapları.

(1)

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

(1)

Mantık, sembolik ve Matematiksel.

(1)

Mantık, sembolik ve matematiksel.

(1)

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

(1)

Mathematics -- Study and teaching (Secondary).

(1)

(1)

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

Recursion theory.

(1)

Science -- Methodology.

(1)

(1)

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

(1)

Shelf Location

Beytepe General Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

20 Results Found

Subscribe to search results

1 2

00000000DEFAULT

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 After Gödel : Platonism and rationalism in mathematics and logic

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

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

Author

Tieszen, Richard L., author.

Preferred Shelf Number

QA9 T54 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Cover image for The foundations of mathematics

The foundations of mathematics

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Cover image for Teaching mathematical reasoning in secondary school classrooms

Teaching mathematical reasoning in secondary school classrooms

Teaching mathematical reasoning in secondary school classrooms

Author

Brodie, Karin. Coetzee, Kurt.

Preferred Shelf Number

QA8.7 B76 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

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:

17.

Cover image for Transition to higher mathematics : structure and proof

Transition to higher mathematics : structure and proof

Transition to higher mathematics : structure and proof

Author

Dumas, Bob A. McCarthy, John E.

Preferred Shelf Number

QA9 .D863 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

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:

19.

Cover image for Logic and structure

Logic and structure

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Cover image for Elements of the theory of computation

Elements of the theory of computation

Elements of the theory of computation

Author

Lewis, Harry R. Papadimitriou, Christos H.

Preferred Shelf Number

QA267 .L49 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11