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.

1.

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:

2.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

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:

4.

Cover image for Mathematical logic and programming languages

Mathematical logic and programming languages

Mathematical logic and programming languages

Author

Hoare, C. A. R., ed. Shepherdson, J. C., ed.

Preferred Shelf Number

QA 9 M42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Cover image for A mathematical introduction to logic

A mathematical introduction to logic

A mathematical introduction to logic

Author

Enderton, Herbert B.

Preferred Shelf Number

QA 9 E54 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

A profile of mathematical logic

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Cover image for An introduction to mathematical logic

An introduction to mathematical logic

An introduction to mathematical logic

Author

Robinson, Gerson B., 1909-

Preferred Shelf Number

QA 9 R72 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Cover image for The development of mathematical logic

The development of mathematical logic

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

9.

Cover image for The elements of mathematical logic

The elements of mathematical logic

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Cover image for An Outline of mathematical logic : fundamental results and notions explained with all details

An Outline of mathematical logic : fundamental results and notions explained with all details

An Outline of mathematical logic : fundamental results and notions explained with all details

Author

Grzegorczyk, Andrzej.

Preferred Shelf Number

BC 131 G7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

11.

Cover image for The axiomatic method : an introduction to mathematical logic

The axiomatic method : an introduction to mathematical logic

The axiomatic method : an introduction to mathematical logic

Author

Lightstone, A. H.

Preferred Shelf Number

QA 248 L53 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

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:

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