Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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

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.

13.

Cover image for Mathematical logic : A course with exercises

Mathematical logic : A course with exercises

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:

14.

Cover image for Logic and structure

Logic and structure

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Cover image for Axiomatic theory of sets and classes

Axiomatic theory of sets and classes

Axiomatic theory of sets and classes

Author

Eisenberg, Murray.

Preferred Shelf Number

QA 248 E37 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Cover image for Word and object

Word and object

Word and object

Author

Quine, Willard Van Orman.

Preferred Shelf Number

B 840 Q5 1960 W

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Cover image for Kotarbinski : logic, semantics, and ontology

Kotarbinski : logic, semantics, and ontology

Kotarbinski : logic, semantics, and ontology

Author

Wolenski, J., ed.

Preferred Shelf Number

B 4691.K594 K67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Cover image for Systems of logic

Systems of logic

Systems of logic

Author

Martin, Norman M.

Preferred Shelf Number

BC 135 M325 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Cover image for Computability and logic

Computability and logic

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.

Cover image for Non-standard logics for automated reasoning

Non-standard logics for automated reasoning

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:

21.

Cover image for Temporal logic of programs

Temporal logic of programs

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

22.

Cover image for Mathematical logic and programming languages

Mathematical logic and programming languages

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:

23.

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

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

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:

24.

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:

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