Search Results for -- -AMERİKAN -EDEBİYATI --- -20. -YÜZYIL --- -TARİHÇE -VE -ELEŞTİRME.

1.

Solvable cases of decision problem

Author

Ackermann, Wilhelm, 1896-

Preferred Shelf Number

BC 135 A3 1954

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937

Format:

Availability

Beytepe Library~2

Available:
Copies:

3.

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:

4.

First-order functional calculus

Author

Keene, Geoffrey Bourton.

Preferred Shelf Number

BC 135 K4 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

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:

6.

Mathematische Gesetze der Logik

Author

Schmidt, H. Arnold, 1902_

Preferred Shelf Number

BC 135 S343 1959-

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Cylindric algebras

Author

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Kotarbinski : logic, semantics, and ontology

Author

Wolenski, J., ed.

Preferred Shelf Number

B 4691.K594 K67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

Word and object

Author

Quine, Willard Van Orman.

Preferred Shelf Number

B 840 Q5 1960 W

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}