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:

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:

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:

Basic concepts of mathematics and logic

Author

Gemignani, Michael C.

Preferred Shelf Number

QA 39 G2846 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

Cover image for Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic

Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic

Author

Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.

Preferred Shelf Number

QA 248 SU64 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

Essays on Frege

Author

Klemk, E. D., 1928- ed.

Preferred Shelf Number

QA 29.F7 K5 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}