Search Results for Logic

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

12 Results Found

000000000000DEFAULT

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

Logic tools programming

Author

Pace, Philip, 1956- Pace, L., ort. yaz.

Preferred Shelf Number

QA 76.6 P325 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

Foundations of logic programming

Author

Lloyd, John Wylie, 1947-

Preferred Shelf Number

QA 76.6 L538 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

Logic : the theory of formal inference

Author

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Preferred Shelf Number

BC 108 A55 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

Studies in inductive logic and probability

Author

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Preferred Shelf Number

QA 273.4 C37 1971-

Format:

Availability

Beytepe Library~1

Available:
Copies:

Logic programming and knowledge engineering

Author

Amble, Tore, 1945-

Preferred Shelf Number

QA 76.6 A464 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

Author

Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Microprocessors and programmed logic : solutions manualto even numbered problems

Author

Short, Kenneth L.

Preferred Shelf Number

QA 76.5 S496 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Metaphor its cognitive force and linguistic structure

Author

Kittay, Eva Feder.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}