Search Results for MANTIK, SEMBOLİK VE MATEMATİKİ.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

9 Results Found

000000000DEFAULT

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:

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:

Mathematische Gesetze der Logik

Author

Schmidt, H. Arnold, 1902_

Preferred Shelf Number

BC 135 S343 1959-

Format:

Availability

Beytepe Library~1

Available:
Copies:

Term logic with choice operator

Author

Hermes, Hans.

Preferred Shelf Number

BC 135 H4 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

Understanding symbolic logic

Author

Massey, Gerald J.

Preferred Shelf Number

BC 135 M35 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

Fundamental concepts of modern mathematics

Author

Larsen, Max D.

Preferred Shelf Number

QA 248 L26 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}