Search Results for North-Holland

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

10 Results Found

0000000000DEFAULT

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 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:

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:

Logic, methodology and philosophy of science III : proceedings

Author

International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.

Preferred Shelf Number

BC 135 I55 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

Intuitionism : an introduction

Author

Heyting, Arend, 1898-

Preferred Shelf Number

BC 135 H48 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

A transfinite type with type variables

Author

Andrews, Peter B.

Preferred Shelf Number

QA 9 A64 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

Formal systems and recursive functions : proceeding

Author

Logic Colloquium (8th : 1963 : Oxford).

Preferred Shelf Number

BC 135 L8292 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

Languages with expressions of infinite length

Author

Karp, Carol Ruth.

Preferred Shelf Number

BC 135 K148 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

The Logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

B 4691.L44 L8 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}