Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

11

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

71 Results Found

Subscribe to search results

1 2 3 4 5 6

00000000000DEFAULT

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.

61.

Cover image for Languages with expressions of infinite length

Languages with expressions of infinite length

Languages with expressions of infinite length

Author

Karp, Carol Ruth.

Preferred Shelf Number

BC 135 K148 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

62.

Cover image for An introduction to transformational grammars

An introduction to transformational grammars

An introduction to transformational grammars

Author

Bach, Emmon W., 1929-

Preferred Shelf Number

P 123 B3

Format:

Availability

Beytepe Library~2

Available:
Copies:

63.

Cover image for The axiomatic method : an introduction to mathematical logic

The axiomatic method : an introduction to mathematical logic

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:

64.

Cover image for Communication : a logical model

Communication : a logical model

Communication : a logical model

Author

Harrah, David.

Preferred Shelf Number

BC 135 H33 1963

Format:

Availability

Beytepe Library~1

Available:
Copies:

65.

Cover image for The Logical systems of Lesniewski

The Logical systems of Lesniewski

The Logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

B 4691.L44 L8 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

66.

Cover image for The development of mathematical logic

The development of mathematical logic

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

67.

Cover image for Inductive probability

Inductive probability

Inductive probability

Author

Day, John Patrick.

Preferred Shelf Number

BC 141 D35 1961

Format:

Availability

Beytepe Library~1

Available:
Copies:

68.

Cover image for Grundzüge der mathematischen Logik

Grundzüge der mathematischen Logik

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.

Cover image for Meaning and necessity : a study in semantics and model logic

Meaning and necessity : a study in semantics and model logic

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:

70.

Cover image for Logic for mathematicians

Logic for mathematicians

Logic for mathematicians

Author

Rosser, John Barkley, 1907-

Preferred Shelf Number

BC 135 R735 1953

Format:

Availability

Beytepe Library~1

Available:
Copies:

71.

Cover image for The elements of mathematical logic

The elements of mathematical logic

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11