Search Results for Logic

1.

Dynamic logic

Author

Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Advances in modal logic

Author

Kracht, Marcus, ed.

Preferred Shelf Number

BC 199.M6 A38 1998- V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

4.

Chance, love and logic : philosophical essays

Author

Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.

Preferred Shelf Number

B 945.P43 C5 1923 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

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:

6.

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:

7.

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:

8.

Computers : from logic to architecture

Author

Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.

Preferred Shelf Number

QA 76.9.A73 D45 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

The logic of knowledge bases

Author

Levesque, Hector J., 1951- Lakemeyer, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

VHDL coding and logic synthesis with Synopsys

Author

Lee, Weng Fook.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms

Author

Akay, Metin. IEEE Engineering in Medicine and Biology Society.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Logic programming proceedings of the 1999 International Conference on Logic Programming

Author

International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Postmodernism, or, The cultural logic of late capitalism

Author

Jameson, Fredric.

Preferred Shelf Number

PN 98.P67 J3 1991

Format:

Availability

Beytepe Library~2

Available:
Copies:

15.

Engines of logic : mathematicians and the origin of the computer

Author

Davis, Martin.

Preferred Shelf Number

QA76.5 D38 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Cover image for Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)

Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)

Author

Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.

Preferred Shelf Number

BC 39.5.S7 M469 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Between Logic and Intuition Essays in Honor of Charles Parsons

Author

Sher, Gila. Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

18.

From Peirce to Skolem a neglected chapter in the history of logic

Author

Brady, Geraldine.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Logic-based methods for optimization combining optimization and constraint satisfaction

Author

Hooker, John, 1949- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html

Format:

Availability

Online Library~1

Available:
Copies:

20.

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Availability

Online Library~1

Available:
Copies:

21.

Triangular norms

Author

Klement, Erich Peter Mesiar, Radko, ort. yaz.. Pap, Endre, ort. yaz.

Preferred Shelf Number

QA 329 K54 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

22.

Pluralism against the demand for consensus

Author

Rescher, Nicholas.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

24.

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:

25.

Introduction to model theory

Author

Rothmaler, Philipp.

Preferred Shelf Number

QA9.7 .R671 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

26.

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computable structures and the hyperarithmetical hierarchy

Author

Ash, C. J. Knight, J. (Julia)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Nonlinear biomedical signal processing

Author

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Preferred Shelf Number

R 857.S47 N66 2000- V.2

Format:

Availability

Beytepe Library~3

Available:
Copies:

29.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

31.

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

32.

Adaptive thinking rationality in the real world

Author

Gigerenzer, Gerd.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Engineering digital design

Author

Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Sembolik mantık el kitabı

Author

Grünberg, Teo.

Preferred Shelf Number

BC 135 G969 2000 V.2

Format:

Availability

Beytepe Library~2

Available:
Copies:

35.

Cafe an industrial-strength algebraic formal method

Author

Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Small Signal Microwave Amplifier Design

Author

Grosch, Theodore

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling

Author

Akay, Metin. IEEE Engineering in Medicine and Biology Society.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Quantum theoretic machines what is thought from the point of view of physics

Author

Stern, August, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}