Search Results for - Narrowed by: MANTIK, SEMBOLİK VE MATEMATİKİ.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509MANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$002509MANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$0026ps$003d300?
2024-10-30T22:31:41Z
Solvable cases of decision problem
ent://SD_ILS/0/SD_ILS:752
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:755
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The theory of models : proc.
ent://SD_ILS/0/SD_ILS:763
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.<br/>Preferred Shelf Number BC 135 I586 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Keene, Geoffrey Bourton.<br/>Preferred Shelf Number BC 135 K4 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
ent://SD_ILS/0/SD_ILS:773
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematische Gesetze der Logik
ent://SD_ILS/0/SD_ILS:778
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and structure
ent://SD_ILS/0/SD_ILS:97566
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Axiomatic theory of sets and classes
ent://SD_ILS/0/SD_ILS:55382
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Eisenberg, Murray.<br/>Preferred Shelf Number QA 248 E37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Word and object
ent://SD_ILS/0/SD_ILS:683
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Quine, Willard Van Orman.<br/>Preferred Shelf Number B 840 Q5 1960 W<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Kotarbinski : logic, semantics, and ontology
ent://SD_ILS/0/SD_ILS:71233
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Wolenski, J., ed.<br/>Preferred Shelf Number B 4691.K594 K67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems of logic
ent://SD_ILS/0/SD_ILS:769
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Martin, Norman M.<br/>Preferred Shelf Number BC 135 M325 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computability and logic
ent://SD_ILS/0/SD_ILS:71794
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Preferred Shelf Number QA 9.59 B66 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Non-standard logics for automated reasoning
ent://SD_ILS/0/SD_ILS:46057
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Smets, Philippe, ed. by<br/>Preferred Shelf Number QA 9.4 N65 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Temporal logic of programs
ent://SD_ILS/0/SD_ILS:32200
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Kröger, Fred, 1945-<br/>Preferred Shelf Number QA 76.6 K753 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Preferred Shelf Number QA 9 M42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An Outline of mathematical logic : fundamental results and notions explained with all details
ent://SD_ILS/0/SD_ILS:751
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Grzegorczyk, Andrzej.<br/>Preferred Shelf Number BC 131 G7 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the study of deductive reasoning
ent://SD_ILS/0/SD_ILS:739
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Yıldırım, Cemal.<br/>Preferred Shelf Number BC 71 Y51 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic
ent://SD_ILS/0/SD_ILS:756
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Copi, Irving M.<br/>Preferred Shelf Number BC 135 C58 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic and mechanical theorem proving
ent://SD_ILS/0/SD_ILS:46040
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Preferred Shelf Number QA 9 C49 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Elementary logic
ent://SD_ILS/0/SD_ILS:772
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Mates, Benson, 1919-<br/>Preferred Shelf Number BC 135 M37 1972 E<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Meaning and existence in mathematics
ent://SD_ILS/0/SD_ILS:46039
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Castonguay, Charles.<br/>Preferred Shelf Number QA 9 C344 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Enderton, Herbert B.<br/>Preferred Shelf Number QA 9 E54 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Derivation and counterexample : an introduction to philosophical logic
ent://SD_ILS/0/SD_ILS:71234
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Lambert, Karel, 1928-<br/>Preferred Shelf Number BC 51 L35 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical writings
ent://SD_ILS/0/SD_ILS:760
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Herbrand, Jacques, 1908-1931. Van Heijenoort, Jean, ed.<br/>Preferred Shelf Number BC 135 H3813 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic
ent://SD_ILS/0/SD_ILS:779
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Venn, John, 1834-1923.<br/>Preferred Shelf Number BC 135 V4 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Prototractatus : an early version of tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:781
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Wittgenstein, Ludwig, 1889-1951. McGuinness, B. F., ed. Nyberg, T., ed. Wright, G. H. von, ed.<br/>Preferred Shelf Number BC 135 W5 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sets and logic
ent://SD_ILS/0/SD_ILS:55371
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Preferred Shelf Number QA 248 H29 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:33647
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Aiserman, Mark A.<br/>Preferred Shelf Number QA 267.5.S4 L613 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Recursive function theory and logic
ent://SD_ILS/0/SD_ILS:2602
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Yasuhara, Ann.<br/>Preferred Shelf Number QA 248.5 Y36 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Term logic with choice operator
ent://SD_ILS/0/SD_ILS:761
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Hermes, Hans.<br/>Preferred Shelf Number BC 135 H4 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Understanding symbolic logic
ent://SD_ILS/0/SD_ILS:770
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Massey, Gerald J.<br/>Preferred Shelf Number BC 135 M35 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author DeLong, Howard, 1936-<br/>Preferred Shelf Number QA 9 B37 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fundamental concepts of modern mathematics
ent://SD_ILS/0/SD_ILS:73050
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Larsen, Max D.<br/>Preferred Shelf Number QA 248 L26 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Einführung in die operative logik und Mathematik
ent://SD_ILS/0/SD_ILS:767
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Lorenzen, Paul.<br/>Preferred Shelf Number BC 135 L6 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Elementare logik (Pradikatenlogik der ersten Stufe)
ent://SD_ILS/0/SD_ILS:771
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Mates, Benson, 1919-<br/>Preferred Shelf Number BC 135 M37 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to symbolic logic
ent://SD_ILS/0/SD_ILS:775
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Pollock, John L.<br/>Preferred Shelf Number BC 135 P68 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46050
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Robinson, Gerson B., 1909-<br/>Preferred Shelf Number QA 9 R72 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Basic concepts of mathematics and logic
ent://SD_ILS/0/SD_ILS:46003
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Gemignani, Michael C.<br/>Preferred Shelf Number QA 39 G2846 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46048
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA 9 M4 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, methodology and philosophy of science III : proceedings
ent://SD_ILS/0/SD_ILS:71230
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.<br/>Preferred Shelf Number BC 135 I55 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
ent://SD_ILS/0/SD_ILS:73022
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.<br/>Preferred Shelf Number QA 248 SU64 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Essays on Frege
ent://SD_ILS/0/SD_ILS:31059
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Klemk, E. D., 1928- ed.<br/>Preferred Shelf Number QA 29.F7 K5 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An Introduction to many-valued logic
ent://SD_ILS/0/SD_ILS:46034
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Ackermann, Robert John, 1933-<br/>Preferred Shelf Number QA 9 A5 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms
ent://SD_ILS/0/SD_ILS:73021
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Jensen, Ronald Björn. Leven, Franz Josef.<br/>Preferred Shelf Number QA 248 J453 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Essays on Wittgenstein's Tractatus
ent://SD_ILS/0/SD_ILS:757
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Copi, Irving M. Beard, Robert W., ed.<br/>Preferred Shelf Number BC 135 C6 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Intuitionism : an introduction
ent://SD_ILS/0/SD_ILS:762
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Heyting, Arend, 1898-<br/>Preferred Shelf Number BC 135 H48 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Techniques of deductive inference
ent://SD_ILS/0/SD_ILS:766
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Leblanc, Hugues, 1924-<br/>Preferred Shelf Number BC 135 L36 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and algorithms : with applications to the computer and information sciences
ent://SD_ILS/0/SD_ILS:46047
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Korfhage, Robert R.<br/>Preferred Shelf Number QA 9 K678 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal systems and recursive functions : proceeding
ent://SD_ILS/0/SD_ILS:768
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A transfinite type with type variables
ent://SD_ILS/0/SD_ILS:46035
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Andrews, Peter B.<br/>Preferred Shelf Number QA 9 A64 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introductory real analysis
ent://SD_ILS/0/SD_ILS:72597
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Munroe, Marshall Evans,d1918-<br/>Preferred Shelf Number QA 300 M9268 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A theory of sets
ent://SD_ILS/0/SD_ILS:55505
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Morse, Anthony Perry.<br/>Preferred Shelf Number QA 248 M67 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Quantification theory
ent://SD_ILS/0/SD_ILS:758
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Faris, John Acheson.<br/>Preferred Shelf Number BC 135 F3 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Languages with expressions of infinite length
ent://SD_ILS/0/SD_ILS:764
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Karp, Carol Ruth.<br/>Preferred Shelf Number BC 135 K148 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to transformational grammars
ent://SD_ILS/0/SD_ILS:19940
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Bach, Emmon W., 1929-<br/>Preferred Shelf Number P 123 B3<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The axiomatic method : an introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:23478
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Lightstone, A. H.<br/>Preferred Shelf Number QA 248 L53 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Communication : a logical model
ent://SD_ILS/0/SD_ILS:759
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Harrah, David.<br/>Preferred Shelf Number BC 135 H33 1963<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Logical systems of Lesniewski
ent://SD_ILS/0/SD_ILS:482
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Luschei, Eugene C.<br/>Preferred Shelf Number B 4691.L44 L8 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The development of mathematical logic
ent://SD_ILS/0/SD_ILS:774
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Nidditch, P. H.<br/>Preferred Shelf Number BC 135 N5 1962<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Inductive probability
ent://SD_ILS/0/SD_ILS:783
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Day, John Patrick.<br/>Preferred Shelf Number BC 141 D35 1961<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Grundzüge der mathematischen Logik
ent://SD_ILS/0/SD_ILS:71238
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Scholz, Heinrich, 1884-1956.<br/>Preferred Shelf Number BC 135 S64 1961<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Meaning and necessity : a study in semantics and model logic
ent://SD_ILS/0/SD_ILS:22
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Carnap, Rudolf, 1891-<br/>Preferred Shelf Number B 840 C3 1956<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic for mathematicians
ent://SD_ILS/0/SD_ILS:777
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Rosser, John Barkley, 1907-<br/>Preferred Shelf Number BC 135 R735 1953<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The elements of mathematical logic
ent://SD_ILS/0/SD_ILS:776
2024-10-30T22:31:41Z
2024-10-30T22:31:41Z
Author Rosenbloom, Paul C.<br/>Preferred Shelf Number BC 135 R7236 1950<br/>Format: Books<br/>Availability Beytepe Library~1<br/>