Search Results for

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: MANTIK, SEMBOLİK VE MATEMATİKİ.

Author

Carnap, Rudolf, 1891-1970.

(2)

Copi, Irving M.

(2)

Mates, Benson, 1919-

(2)

Ackermann, Robert John, 1933-

(1)

Ackermann, Wilhelm, 1896-

(1)

Addison, John West, 1930- ed.

(1)

Aiserman, Mark A.

(1)

Andrews, Peter B.

(1)

Bach, Emmon W., 1929-

(1)

Beard, Robert W., ed.

(1)

Black, Max, 1909-

(1)

Boolos, George S.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brodie, Helen Charlotte, 1915-

(1)

Carnap, Rudolf, 1891-

(1)

Castonguay, Charles.

(1)

Chang, Chin-Liang, 1937-

(1)

Chwistek, Leon, 1884-

(1)

(1)

(1)

Day, John Patrick.

(1)

DeLong, Howard, 1936-

(1)

Eisenberg, Murray.

(1)

Enderton, Herbert B.

(1)

Faris, John Acheson.

(1)

Gemignani, Michael C.

(1)

Grzegorczyk, Andrzej.

(1)

Hanna, Samuel C.

(1)

(1)

Henkin, Leon, ed.

(1)

(1)

Herbrand, Jacques, 1908-1931.

(1)

(1)

Heyting, Arend, 1898-

(1)

Hoare, C. A. R., ed.

(1)

International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam)

(1)

International Symposium on the Theory of Models (1963 : Berkeley, Calif.)

(1)

Jeffrey, R. C., ort. yaz.

(1)

Jensen, Ronald Björn.

(1)

Karp, Carol Ruth.

(1)

Keene, Geoffrey Bourton.

(1)

Klemk, E. D., 1928- ed.

(1)

Korfhage, Robert R.

(1)

Kröger, Fred, 1945-

(1)

Lambert, Karel, 1928-

(1)

(1)

Lascar, Daniel, 1942- ort. yaz.

(1)

Leblanc, Hugues, 1924-

(1)

Lee, R. C., ed.

(1)

Leven, Franz Josef.

(1)

Lightstone, A. H.

(1)

Logic Colloquium (8th : 1963 : Oxford).

(1)

Lorenzen, Paul.

(1)

Luschei, Eugene C.

(1)

Löb, M. H., ed.

(1)

Martin, Norman M.

(1)

Massey, Gerald J.

(1)

McGuinness, B. F., ed.

(1)

Mendelson, Elliott.

(1)

Monk, J. Donald, ort. yaz.

(1)

Morse, Anthony Perry.

(1)

Mostowski, Andrzej

(1)

Munroe, Marshall Evans,d1918-

(1)

Nidditch, P. H.

(1)

Nyberg, T., ed.

(1)

Pollock, John L.

(1)

Quine, Willard Van Orman.

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Robinson, Gerson B., 1909-

(1)

Rosenbloom, Paul C.

(1)

Rosser, John Barkley, 1907-

(1)

Saber, John C., ort. yaz.

(1)

Schmidt, H. Arnold, 1902_

(1)

Scholz, Heinrich, 1884-1956.

(1)

Shepherdson, J. C., ed.

(1)

Smets, Philippe, ed. by

(1)

Staal, J. F., ed.

(1)

Summer School in Logic (1967 : Leeds, Eng.)

(1)

Tarski, Alfred, ed.

(1)

Tarski, Alfred, ort. yaz.

(1)

Van Heijenoort, Jean, ed.

(1)

Van Rootselaar, B., ed.

(1)

Venn, John, 1834-1923.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

Wittgenstein, Ludwig, 1889-1951.

(1)

Wolenski, J., ed.

(1)

Wright, G. H. von, ed.

(1)

(1)

Yıldırım, Cemal.

(1)

Language

(66)

(5)

Publication Date

-

(14)

(14)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(13)

(11)

(10)

(10)

(9)

(9)

(9)

(9)

(8)

(8)

(8)

(8)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(7)

(6)

(5)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(7)

MATEMATİK -- FELSEFE.

(4)

ANLAMBİLİM (FELSEFE).

(3)

(3)

Mathematics -- Philosophy.

(3)

(2)

DİLLER -- FELSEFE.

(2)

Logical positivism.

(2)

(2)

MANTIKSAL POZİTİVİZM.

(2)

ANLAMBİLİM (FELSEFE)

(1)

(1)

ARDIŞIK MAKİNE KURAMI.

(1)

ARİTMETİK -- TEMEL.

(1)

BELİTSEL KÜME KURAMI.

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

CEBİR, TEORİK.

(1)

DİL VE DİLLER -- FELSEFE.

(1)

DİL VE DİLLER.

(1)

DİLBİLGİSİ, KARŞILAŞTIRMALI VE GENEL.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

(1)

FREGE, GOTTLOB -- 1848-1925.

(1)

(1)

HESAPLANABİLİR FONKSİYONLAR.

(1)

KOTARBİNSKİ, TADEUZ.

(1)

LESNIEWSKI, STANISLOW.

(1)

MATEMATİK -- YÖNTEMBİLİM.

(1)

(1)

MATEMATİKİ ANALİZ.

(1)

MATEMATİKİ DİLBİLİM.

(1)

MATEMATİKİ MODELLER.

(1)

(1)

(1)

OTOMATİK KURAM KANITLAMASI.

(1)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Science -- Methodology.

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

WITTGENSTEN, LUDWIG, 1889-1951.

(1)

(1)

(1)

YİNELEMELİ FONKSİYONLAR.

(1)

ÖRNEKLEME KURAMI.

(1)

Material Type

Shelf Location

Beytepe General Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

71 Results Found

Subscribe to search results

1 2 3 4 5 6

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

25.

Cover image for Symbolic logic

Author

Copi, Irving M.

Preferred Shelf Number

BC 135 C58 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

26.

Cover image for Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

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.

Cover image for Elementary logic

Elementary logic

Elementary logic

Author

Mates, Benson, 1919-

Preferred Shelf Number

BC 135 M37 1972 E

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Cover image for Derivation and counterexample : an introduction to philosophical logic

Derivation and counterexample : an introduction to philosophical logic

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.

Cover image for Meaning and existence in mathematics

Meaning and existence in mathematics

Meaning and existence in mathematics

Author

Castonguay, Charles.

Preferred Shelf Number

QA 9 C344 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

Cover image for A mathematical introduction to logic

A mathematical introduction to logic

A mathematical introduction to logic

Author

Enderton, Herbert B.

Preferred Shelf Number

QA 9 E54 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

Cover image for Logical writings

Logical writings

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:

32.

Cover image for Symbolic logic

Author

Venn, John, 1834-1923.

Preferred Shelf Number

BC 135 V4 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Cover image for Prototractatus : an early version of tractatus logico-philosophicus

Prototractatus : an early version of tractatus logico-philosophicus

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:

34.

Cover image for Recursive function theory and logic

Recursive function theory and logic

Recursive function theory and logic

Author

Yasuhara, Ann.

Preferred Shelf Number

QA 248.5 Y36 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Cover image for Logic, automata, and algorithms

Logic, automata, and algorithms

Logic, automata, and algorithms

Author

Aiserman, Mark A.

Preferred Shelf Number

QA 267.5.S4 L613 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

Cover image for 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:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11