Search Results for Logic

|

|

|

|

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:

+

Publication Date: 1994

Author

Ambrose, Alice, 1906-

(1)

Burchell, Graham, trans.

(1)

Carnap, Rudolf, 1891-1970.

(1)

Deleuze, Gilles, 1925-1995.

(1)

(1)

Eijck, J. van (Jan)

(1)

Frankiewicz, Ryszard.

(1)

Guattari, Félix, 1930-1992.

(1)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

(1)

Jameson, Fredric.

(1)

Jeffrey, Richard C., ed.

(1)

Jennings, R. E. (Raymond Earl)

(1)

Katz, Randy H., 1955-

(1)

(1)

Klie, George J.

(1)

Lamarque, Peter.

(1)

Lazerowitz, Morris, ort. yaz.

(1)

McCall, Storrs.

(1)

Monk, J. Donald, ort. yaz.

(1)

Nederpelt, R. P. (Rob P.)

(1)

Odifreddi, Piergiorgio, 1950-

(1)

Olsen, Stein Haugom, 1946-

(1)

(1)

(1)

(1)

Suppes, Patrick Colonel, 1922-

(1)

Tarski, Alfred, ort. yaz.

(1)

Tomlinson, Hugh, trans.

(1)

Van Hentenryck, Pascal.

(1)

Visser, Albert.

(1)

Westerståhl, Dag, 1946-

(1)

(1)

Zbierski, Paweł.

(1)

Özlem, Doğan.

(1)

Language

(18)

(2)

Subject

(3)

(2)

(2)

programmation en logique.

(2)

AUTOMATH (Formal language)

(1)

(1)

Algebra, Boolean.

(1)

Computational complexity.

(1)

Computer science.

(1)

(1)

Culture -- Philosophy.

(1)

Disjunction (Logic)

(1)

Electronic digital computers -- Circuits -- Design.

(1)

FARABİ, 870-950.

(1)

(1)

Free will and determinism.

(1)

(1)

(1)

(1)

Informationstheorie.

(1)

(1)

KÜLTÜR -- FELSEFE.

(1)

Literature -- Philosophy.

(1)

Logic -- History -- Islamic countries.

(1)

Logic circuits.

(1)

Logic programming -- Congresses.

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical.

(1)

(1)

Logisch programmeren.

(1)

Logische Programmierung.

(1)

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

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(1)

Mathematische Logik.

(1)

(1)

Natural language processing (Computer science)

(1)

Natuurlijke taal.

(1)

Neural networks (Computer science)

(1)

(1)

Or (The English word)

(1)

POSTMODERNİZM (EDEBİYAT)

(1)

(1)

Postmodernism (Literature)

(1)

(1)

Recursion theory.

(1)

Resolventenprinzip.

(1)

Santa Margherita Ligure (1994)

(1)

Science -- Methodology -- Congresses.

(1)

Science -- Philosophy -- Congresses.

(1)

(1)

Space and time.

(1)

Stone-Čech compactification.

(1)

Truth in literature.

(1)

TÜMEVARIM (MATEMATİK)

(1)

Wiskundige logica.

(1)

(1)

(1)

calcul propositionnel.

(1)

calculabilité.

(1)

(1)

(1)

logique 1er ordre.

(1)

logique ordre élevé.

(1)

(1)

métaprogrammation.

(1)

(1)

résolution linéaire.

(1)

(1)

théorie définissabilité.

(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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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 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:

14.

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:

15.

Cover image for Selected papers on Automath

Selected papers on Automath

Selected papers on Automath

Author

Nederpelt, R. P. (Rob P.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Hausdorff gaps and limits

Hausdorff gaps and limits

Hausdorff gaps and limits

Author

Frankiewicz, Ryszard. Zbierski, Paweł.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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:

18.

Cover image for What is philosophy?

What is philosophy?

What is philosophy?

Author

Deleuze, Gilles, 1925-1995. Guattari, Félix, 1930-1992. Tomlinson, Hugh, trans. Burchell, Graham, trans.

Preferred Shelf Number

B2430.D453 Q4713 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Cover image for Circuit complexity and neural networks

Circuit complexity and neural networks

Circuit complexity and neural networks

Author

Parberry, Ian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for The genealogy of disjunction

The genealogy of disjunction

The genealogy of disjunction

Author

Jennings, R. E. (Raymond Earl)

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Mantık

Author

Özlem, Doğan.

Preferred Shelf Number

BC 117.T8 O6 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11