Search Results for MANTIK.

1.

First-order functional calculus

Author

Keene, Geoffrey Bourton.

Preferred Shelf Number

BC 135 K4 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej

Preferred Shelf Number

BC 135 M6 1952

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

İslam mantık tarihi ve Farabi mantığı

Author

Keklik, Nihat.

Preferred Shelf Number

BC 34 K4 1969-70

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 108 W7 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Solvable cases of decision problem

Author

Ackermann, Wilhelm, 1896-

Preferred Shelf Number

BC 135 A3 1954

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

The theory of models : proc.

Author

International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.

Preferred Shelf Number

BC 135 I586 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Mathematische Gesetze der Logik

Author

Schmidt, H. Arnold, 1902_

Preferred Shelf Number

BC 135 S343 1959-

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966

Author

Yourgrau, Wolfgang, ed. Breck, Allen D., ed.

Preferred Shelf Number

QC 6 P47 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

11.

Geometry and induction : containing Geometry in the sensible world and The logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N52 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

Fundamental concepts of modern mathematics

Author

Larsen, Max D.

Preferred Shelf Number

QA 248 L26 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}