Search Results for

6 Results Found

000000DEFAULT

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:

Solvable cases of decision problem

Author

Ackermann, Wilhelm, 1896-

Preferred Shelf Number

BC 135 A3 1954

Format:

Availability

Beytepe Library~1

Available:
Copies:

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937

Format:

Availability

Beytepe Library~2

Available:
Copies:

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:

First-order functional calculus

Author

Keene, Geoffrey Bourton.

Preferred Shelf Number

BC 135 K4 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

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:

	{displayName}	{count}
{error}