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

1.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Mathematical logic : A course with exercises

Author

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

7.

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:

8.

Solvable cases of decision problem

Author

Ackermann, Wilhelm, 1896-

Preferred Shelf Number

BC 135 A3 1954

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937

Format:

Availability

Beytepe Library~2

Available:
Copies:

10.

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:

11.

First-order functional calculus

Author

Keene, Geoffrey Bourton.

Preferred Shelf Number

BC 135 K4 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

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:

13.

Mathematische Gesetze der Logik

Author

Schmidt, H. Arnold, 1902_

Preferred Shelf Number

BC 135 S343 1959-

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Axiomatic theory of sets and classes

Author

Eisenberg, Murray.

Preferred Shelf Number

QA 248 E37 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Kotarbinski : logic, semantics, and ontology

Author

Wolenski, J., ed.

Preferred Shelf Number

B 4691.K594 K67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Word and object

Author

Quine, Willard Van Orman.

Preferred Shelf Number

B 840 Q5 1960 W

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.

Author

Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.

Preferred Shelf Number

QA 76.9.M35 W67 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Computability and logic

Author

Boolos, George S. Jeffrey, R. C., ort. yaz.

Preferred Shelf Number

QA 9.59 B66 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Systems of logic

Author

Martin, Norman M.

Preferred Shelf Number

BC 135 M325 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

Non-standard logics for automated reasoning

Author

Smets, Philippe, ed. by

Preferred Shelf Number

QA 9.4 N65 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

22.

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

23.

Mathematical logic and programming languages

Author

Hoare, C. A. R., ed. Shepherdson, J. C., ed.

Preferred Shelf Number

QA 9 M42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

24.

An Outline of mathematical logic : fundamental results and notions explained with all details

Author

Grzegorczyk, Andrzej.

Preferred Shelf Number

BC 131 G7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

25.

Logic : the study of deductive reasoning

Author

Yıldırım, Cemal.

Preferred Shelf Number

BC 71 Y51 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

26.

Symbolic logic and mechanical theorem proving

Author

Chang, Chin-Liang, 1937- Lee, R. C., ed.

Preferred Shelf Number

QA 9 C49 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

27.

Symbolic logic

Author

Copi, Irving M.

Preferred Shelf Number

BC 135 C58 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Derivation and counterexample : an introduction to philosophical logic

Author

Lambert, Karel, 1928-

Preferred Shelf Number

BC 51 L35 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

29.

Meaning and existence in mathematics

Author

Castonguay, Charles.

Preferred Shelf Number

QA 9 C344 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

A mathematical introduction to logic

Author

Enderton, Herbert B.

Preferred Shelf Number

QA 9 E54 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

Elementary logic

Author

Mates, Benson, 1919-

Preferred Shelf Number

BC 135 M37 1972 E

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

Logic, automata, and algorithms

Author

Aiserman, Mark A.

Preferred Shelf Number

QA 267.5.S4 L613 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Sets and logic

Author

Hanna, Samuel C. Saber, John C., ort. yaz.

Preferred Shelf Number

QA 248 H29 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

34.

Recursive function theory and logic

Author

Yasuhara, Ann.

Preferred Shelf Number

QA 248.5 Y36 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Logical writings

Author

Herbrand, Jacques, 1908-1931. Van Heijenoort, Jean, ed.

Preferred Shelf Number

BC 135 H3813 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

Symbolic logic

Author

Venn, John, 1834-1923.

Preferred Shelf Number

BC 135 V4 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

Prototractatus : an early version of tractatus logico-philosophicus

Author

Wittgenstein, Ludwig, 1889-1951. McGuinness, B. F., ed. Nyberg, T., ed. Wright, G. H. von, ed.

Preferred Shelf Number

BC 135 W5 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

38.

Fundamental concepts of modern mathematics

Author

Larsen, Max D.

Preferred Shelf Number

QA 248 L26 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

39.

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

40.

Term logic with choice operator

Author

Hermes, Hans.

Preferred Shelf Number

BC 135 H4 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

Understanding symbolic logic

Author

Massey, Gerald J.

Preferred Shelf Number

BC 135 M35 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

42.

An introduction to mathematical logic

Author

Robinson, Gerson B., 1909-

Preferred Shelf Number

QA 9 R72 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

43.

Einführung in die operative logik und Mathematik

Author

Lorenzen, Paul.

Preferred Shelf Number

BC 135 L6 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

Elementare logik (Pradikatenlogik der ersten Stufe)

Author

Mates, Benson, 1919-

Preferred Shelf Number

BC 135 M37 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

45.

Introduction to symbolic logic

Author

Pollock, John L.

Preferred Shelf Number

BC 135 P68 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

46.

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:

47.

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:

48.

Essays on Frege

Author

Klemk, E. D., 1928- ed.

Preferred Shelf Number

QA 29.F7 K5 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

49.

Basic concepts of mathematics and logic

Author

Gemignani, Michael C.

Preferred Shelf Number

QA 39 G2846 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

51.

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms

Author

Jensen, Ronald Björn. Leven, Franz Josef.

Preferred Shelf Number

QA 248 J453 1967

Format:

Availability

Beytepe Library~1

Available:
Copies:

52.

An Introduction to many-valued logic

Author

Ackermann, Robert John, 1933-

Preferred Shelf Number

QA 9 A5 1967

Format:

Availability

Beytepe Library~1

Available:
Copies:

53.

Logic and algorithms : with applications to the computer and information sciences

Author

Korfhage, Robert R.

Preferred Shelf Number

QA 9 K678 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

54.

Essays on Wittgenstein's Tractatus

Author

Copi, Irving M. Beard, Robert W., ed.

Preferred Shelf Number

BC 135 C6 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

55.

Intuitionism : an introduction

Author

Heyting, Arend, 1898-

Preferred Shelf Number

BC 135 H48 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

56.

Techniques of deductive inference

Author

Leblanc, Hugues, 1924-

Preferred Shelf Number

BC 135 L36 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

Introductory real analysis

Author

Munroe, Marshall Evans,d1918-

Preferred Shelf Number

QA 300 M9268 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

58.

A transfinite type with type variables

Author

Andrews, Peter B.

Preferred Shelf Number

QA 9 A64 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

59.

A theory of sets

Author

Morse, Anthony Perry.

Preferred Shelf Number

QA 248 M67 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

60.

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:

61.

The axiomatic method : an introduction to mathematical logic

Author

Lightstone, A. H.

Preferred Shelf Number

QA 248 L53 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

62.

Quantification theory

Author

Faris, John Acheson.

Preferred Shelf Number

BC 135 F3 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

63.

Languages with expressions of infinite length

Author

Karp, Carol Ruth.

Preferred Shelf Number

BC 135 K148 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

64.

An introduction to transformational grammars

Author

Bach, Emmon W., 1929-

Preferred Shelf Number

P 123 B3

Format:

Availability

Beytepe Library~2

Available:
Copies:

65.

Communication : a logical model

Author

Harrah, David.

Preferred Shelf Number

BC 135 H33 1963

Format:

Availability

Beytepe Library~1

Available:
Copies:

66.

The Logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

B 4691.L44 L8 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

67.

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

68.

Grundzüge der mathematischen Logik

Author

Scholz, Heinrich, 1884-1956.

Preferred Shelf Number

BC 135 S64 1961

Format:

Availability

Beytepe Library~1

Available:
Copies:

69.

Inductive probability

Author

Day, John Patrick.

Preferred Shelf Number

BC 141 D35 1961

Format:

Availability

Beytepe Library~1

Available:
Copies:

70.

Meaning and necessity : a study in semantics and model logic

Author

Carnap, Rudolf, 1891-

Preferred Shelf Number

B 840 C3 1956

Format:

Availability

Beytepe Library~1

Available:
Copies:

71.

Logic for mathematicians

Author

Rosser, John Barkley, 1907-

Preferred Shelf Number

BC 135 R735 1953

Format:

Availability

Beytepe Library~1

Available:
Copies:

72.

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}