Search Results for Logic.

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:

+

Publication Date: 1990

Author

Ambrose, Alice, 1906-

(1)

Bourdieu, Pierre, 1930-2002

(1)

Carnap, Rudolf, 1891-1970.

(1)

Ceri, Stefano, 1955-

(1)

Chadwick, Henry, 1920-2008.

(1)

Chang, Chen Chung, 1927-

(1)

Deleuze, Gilles.

(1)

Foster, Ian, 1959-

(1)

Gibbard, Allan.

(1)

Gottlob, G., ort. yaz.

(1)

(1)

(1)

Jeffrey, Richard C., ed.

(1)

Keisler, H. Jerome.

(1)

(1)

Lazerowitz, Morris, ort. yaz.

(1)

Monk, J. Donald, ort. yaz.

(1)

Odifreddi, Piergiorgio, 1950-

(1)

Schofield, N. A., ed.

(1)

Shelah, Saharon.

(1)

Smullyan, Raymond Merrill, 1919-

(1)

Stark, W. Richard.

(1)

Sterling, Leon.

(1)

Suppes, Patrick Colonel, 1922-

(1)

Tanca, L., ort. yaz.

(1)

Tarski, Alfred, ort. yaz.

(1)

Treleaven, P. C., ed.

(1)

Wolenski, J., ed.

(1)

Language

(20)

(1)

Subject

(3)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(2)

MANTIKSAL PROGRAMLAMA.

(2)

(2)

ÇOKLU İŞLEM (ELEKTRONİK BİLGİSAYARLAR)

(2)

(1)

(1)

Arts, Medieval.

(1)

Boethius, d. 524.

(1)

(1)

(1)

Carroll, Lewis, 1832-1898. Alice's adventures in Wonderland.

(1)

Computer integrated manufacturing systems.

(1)

DİLLER -- FELSEFE.

(1)

(1)

(1)

Ethnophilosophy.

(1)

FARABİ, 870-950.

(1)

FELSEFİ EĞLENCELER.

(1)

FONKSİYONEL PROGRAMLAMA (BİLGİSAYAR BİLİMİ)

(1)

Judgment (Logic)

(1)

KOTARBİNSKİ, TADEUZ.

(1)

LEIBNIZ, GOTTFRIED WILHELM, Freiherr von,1646-1716 -- KATKILARI, MANTIKDA.

(1)

LISP (BİLGİSAYAR PROGRAMLAMA DİLİ).

(1)

Logic -- History -- Islamic countries.

(1)

(1)

Logic, Medieval.

(1)

MANTIK -- TARİHÇE -- İSLAM ÜLKELERİ.

(1)

MANTIK, ÇAĞDAŞ -- 17. YÜZYIL.

(1)

Music theory -- History -- 500-1400.

(1)

NESNEYE YÖNELİK PROGRAMLAMA (BİLGİSAYAR BİLİMİ).

(1)

(1)

(1)

(1)

(1)

(1)

Philosophy, Medieval.

(1)

Prolog (Computer program language)

(1)

Recursion theory.

(1)

Semantics (Philosophy)

(1)

Strategic planning.

(1)

SİSTEM PROGRAMLAMA (BİLGİSAYAR BİLİMİ)

(1)

Theology, Doctrinal -- History -- Early church, ca. 30-600.

(1)

TÜMEVARIM (MATEMATİK)

(1)

VERİ TABANI YÖNETİMİ.

(1)

Yargı (Mantık)

(1)

(1)

(1)

compilateur Pascal.

(1)

génération langage.

(1)

langage naturel.

(1)

programmation PROLOG.

(1)

programme apprentissage.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

21 Results Found

Subscribe to search results

1 2

000000000DEFAULT

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 LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

Author

Stark, W. Richard.

Preferred Shelf Number

QA 76.73.L23 S72 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Cover image for The Practice of Prolog

The Practice of Prolog

The Practice of Prolog

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Cylindric algebras

Cylindric algebras

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:

16.

Cover image for Classical recursion theory the theory of functions and sets of natural numbers

Classical recursion theory the theory of functions and sets of natural numbers

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444502056

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Classification theory and the number of non-isomorphic models

Classification theory and the number of non-isomorphic models

Classification theory and the number of non-isomorphic models

Author

Shelah, Saharon.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444702609

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Model theory

Author

Chang, Chen Chung, 1927- Keisler, H. Jerome.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444880543

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for İslam mantık tarihi ve Farabi mantığı

İslam mantık tarihi ve Farabi mantığı

İslam mantık tarihi ve Farabi mantığı

Author

Keklik, Nihat.

Preferred Shelf Number

BC 34 K4 1969-70

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Cover image for The Development of a Strategy for Integrated Manufacturing Systems

The Development of a Strategy for Integrated Manufacturing Systems

The Development of a Strategy for Integrated Manufacturing Systems

Author

Schofield, N. A., ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBME012E

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Wise choices, apt feelings : a theory of normative judgment

Wise choices, apt feelings : a theory of normative judgment

Wise choices, apt feelings : a theory of normative judgment

Author

Gibbard, Allan.

Preferred Shelf Number

BJ1012 .G53 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11