Search Results for Mathematical logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Beytepe Library

Author

(3)

(2)

Kunen, Kenneth.

(2)

Mendelson, Elliott.

(2)

Rosen, Kenneth H.

(2)

Akgül, Tayfun, karikatür.

(1)

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)

DeLong, Howard, 1936-

(1)

Descartes (Descartes, René)

(1)

(1)

Enderton, Herbert B.

(1)

Goranko, Valentin, author.

(1)

Grzegorczyk, Andrzej.

(1)

Grünberg, Teo.

(1)

(1)

Hoare, C. A. R., ed.

(1)

Karasan, Mehmet.

(1)

Krithivasan, Kamala.

(1)

Lascar, Daniel, 1942- ort. yaz.

(1)

Lewis, Harry R.

(1)

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

(1)

Lightstone, A. H.

(1)

McCarthy, John E.

(1)

Nidditch, P. H.

(1)

Papadimitriou, Christos H.

(1)

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Robinson, Gerson B., 1909-

(1)

Rosenbloom, Paul C.

(1)

Shepherdson, J. C., ed.

(1)

Tieszen, Richard L., author.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

Wittgenstein, Ludwig.

(1)

Yarımağan, Ünal.

(1)

Language

(30)

(7)

(1)

Multiple languages

(1)

Publication Date

-

(11)

(9)

(8)

(8)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(4)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(22)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(16)

Mantık, sembolik ve Matematiksel.

(4)

(4)

Computer science -- Mathematics.

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematics -- Philosophy.

(3)

Logic, Symbolic and mathematical -- Textbooks.

(2)

Logic, symbolic and mathematical.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

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

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(2)

Mathematical logic.

(2)

(2)

(2)

Akıl yürütme.

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

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

(1)

CEBİR, TEORİK.

(1)

Computable functions.

(1)

Computational complexity.

(1)

Computer science -- Mathematics -- Textbooks.

(1)

(1)

Data structures (Computer science)

(1)

Dil ve diller -- Felsefe

(1)

(1)

(1)

Games of strategy (Mathematics)

(1)

(1)

Hesap karmaşıklığı.

(1)

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Logic circuits.

(1)

(1)

Logic programming.

(1)

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

(1)

(1)

MANTIK, SEMBOLİK VE MATEMATİKSEL.

(1)

(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ıksal devreler.

(1)

Mantıksal tasarım.

(1)

Matematik -- Popüler eserler.

(1)

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

(1)

Mathematics -- Popular works.

(1)

Mathematics -- Study and teaching (Secondary).

(1)

(1)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(1)

Peirce, Charles S. (Charles Sanders), 1839-1914.

(1)

(1)

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Recursion theory.

(1)

Science -- Methodology.

(1)

(1)

Strateji oyunları (Matematik)

(1)

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

(1)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(1)

Material Type

Shelf Location

Beytepe General Collection

Prof.Dr.Onur Bilge Kulak Collection

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

39 Results Found

Subscribe to search results

1 2 3 4

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.

25.

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:

26.

Cover image for Tractatus logico-philosophicus

Tractatus logico-philosophicus

Tractatus logico-philosophicus

Author

Wittgenstein, Ludwig. Aruoba, Oruç.

Preferred Shelf Number

BC135 W5719 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

Cover image for Önermeler mantığı :

Önermeler mantığı :

Önermeler mantığı :

Author

Nesin, Ali.

Preferred Shelf Number

QA 270 .N476 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Cover image for Charles S. Peirce zur Einführung

Charles S. Peirce zur Einführung

Charles S. Peirce zur Einführung

Author

Pape, Helmut.

Preferred Shelf Number

B945.P44 P347 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

34.

Cover image for Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Author

Yarımağan, Ünal.

Preferred Shelf Number

TK7888.4 Y37 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Cover image for Develerle eşekler :

Develerle eşekler :

Develerle eşekler :

Author

Nesin, Ali. Akgül, Tayfun, karikatür.

Preferred Shelf Number

QA 270 .N474 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

Cover image for Sembolik mantık el kitabı

Sembolik mantık el kitabı

Sembolik mantık el kitabı

Author

Grünberg, Teo.

Preferred Shelf Number

BC 135 G969 2000 V.2

Format:

Availability

Beytepe Library~2

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11