Search Results for Mathematical logic.

1.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

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.

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.

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

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

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.

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

9.

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

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.

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.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

13.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

A concise introduction to pure mathematics

Author

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

Preferred Shelf Number

QA9 L478 2016

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Logic and discrete mathematics : a concise introduction

Author

Conradie, Willem, 1978- author. Goranko, Valentin, author.

Preferred Shelf Number

QA9 C7423 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

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:

22.

A transition to mathematics with proofs

Author

Cullinane, Michael J.

Preferred Shelf Number

QA9 C84 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

23.

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:

24.

Önermeler mantığı

Author

Nesin, Ali.

Preferred Shelf Number

QA270 N476 2013

Format:

Availability

Beytepe Library~3

Available:
Copies:

25.

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.

Tractatus logico-philosophicus

Author

Wittgenstein, Ludwig. Aruoba, Oruç.

Preferred Shelf Number

BC135 W5719 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

27.

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

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:

29.

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.

Discrete mathematics and its applications

Author

Rosen, Kenneth H.

Preferred Shelf Number

QA39.3 R674 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

Önermeler mantığı :

Author

Nesin, Ali.

Preferred Shelf Number

QA 270 .N476 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Charles S. Peirce zur Einführung

Author

Pape, Helmut.

Preferred Shelf Number

B945.P44 P347 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

34.

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.

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.

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:

37.

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:

38.

Ludwig Wittgenstein, Tractatus logico-philosophicus

Author

Aruoba, Oruç.

Preferred Shelf Number

B3376.W563 T7319 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

39.

Aklın idaresi için kurallar

Author

Descartes (Descartes, René) Karasan, Mehmet.

Preferred Shelf Number

B1868 D445 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}