Search Results for Logic

1.

Logic

Author

Salmon, Wesley C., 1908-1931

Preferred Shelf Number

BC 108 S2 1963

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Computational logic

Preferred Shelf Number

ONLINE(355347.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Combinatory logic

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Logic demystified

Author

Boutelle, Anthony. Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

5.

Logic countdown

Author

Risby, Bonnie.

Preferred Shelf Number

LB1590.3 R57 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Logic liftoff

Author

Risby, Bonnie. Crawford, Dean, illustrator.

Preferred Shelf Number

LB1590.3 R57 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Primarily logic

Author

Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.

Preferred Shelf Number

LB1590.3 L45 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Mathematical logic

Author

Tourlakis, George J.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781118032435

Format:

Availability

Online Library~1

Available:
Copies:

9.

Logic Safari

Author

Risby, Bonnie Lou. Palouda, Annelise.

Preferred Shelf Number

BC101 R57 2005 V.1

Format:

Availability

Beytepe Library~3

Available:
Copies:

10.

Logic countdown

Author

Risby, Bonnie Lou. Crawford, Dean.

Format:

Availability

~0

Available:
Copies:

11.

Logic design

Author

Chen, Wai-Kai, 1936-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

12.

Mathematical logic

Author

Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

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:

14.

Logic circuits

Author

Morris, Noel Malcolm.

Preferred Shelf Number

TK 7868.L6 M67 1983

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Symbolic logic

Author

Copi, Irving M.

Preferred Shelf Number

BC 135 C58 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Elementary logic

Author

Mates, Benson, 1919-

Preferred Shelf Number

BC 135 M37 1972 E

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Symbolic logic

Author

Venn, John, 1834-1923.

Preferred Shelf Number

BC 135 V4 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Threshold logic

Author

Sheng, Ching-Lai.

Preferred Shelf Number

QA 401 S46 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Philosophical logic

Author

Strawson, P. F.

Preferred Shelf Number

BC6 S8 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Introductory logic

Author

Creighton, James Edwin, 1861-1924.

Preferred Shelf Number

BC 108 C87 1920

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

Formal logic

Author

Prior, A. N. (Arthur N.), 1914-1969.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Logic Colloquium 2007

Author

Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

23.

Logic Colloquium 2006

Author

Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

24.

Logic Colloquium 2005

Author

Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

25.

Dynamic Epistemic Logic

Author

Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5839-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Computability, complexity, logic

Author

Börger, E. (Egon), 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Ancient formal logic

Author

Bochenski, Joseph M., 1902-1995.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Logic and Structure

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331010.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Logic the basics

Author

Beall, J. C.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

30.

Philosophy of logic

Author

Jacquette, Dale.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Orbiting with logic

Author

Risby, Bonnie Lou. Crawford, Dean.

Preferred Shelf Number

LB1590.3 R57 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Digital logic design

Author

Holdsworth, B. (Brian) Woods, R. C. (R. Clive)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Logic and existence

Author

Hyppolite, Jean.

Preferred Shelf Number

B2949.L8 H913 1997

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

Advanced Logic Synthesis

Author

Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67295-3

Format:

Availability

Online Library~1

Available:
Copies:

37.

Logic in games

Author

Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Preferred Shelf Number

ONLINE(364947.1)

Electronic Access

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151

Format:

Availability

Online Library~1

Available:
Copies:

38.

Synchronous precharge logic

Author

Smoszna, Marek.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Introduction to logic

Author

Gensler, Harry J., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

40.

Programmable logic controllers

Author

Bolton, W. (William), 1933-

Preferred Shelf Number

TJ223.P76 B65 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

Programmable logic controllers

Author

Bolton, W. (William), 1933-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Stochastic Coalgebraic Logic

Author

Doberkat, Ernst-Erich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02995-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Logic in Reality

Author

Brenner, Joseph E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8375-4

Format:

Availability

Online Library~1

Available:
Copies:

44.

Programmable logic controllers

Author

Bolton, W. (William), 1933-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Fuzzy Equational Logic

Author

Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105121

Format:

Availability

Online Library~1

Available:
Copies:

46.

Contemporary logic design

Author

Katz, Randy H., 1955-

Preferred Shelf Number

TK 7888.4 K36 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

47.

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:

48.

Systems of logic

Author

Martin, Norman M.

Preferred Shelf Number

BC 135 M325 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

49.

Logic with prolog

Author

Gibbins, Peter.

Preferred Shelf Number

QA 76.73.P76 G53 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

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:

51.

Introduction to logic

Author

Packard, Dennis J. Faulconer, James E., ort. yaz.

Preferred Shelf Number

BC 108 P22 1980

Format:

Availability

Beytepe Library~2

Available:
Copies:

52.

Computer logic design

Author

Mano, M. Morris, 1927-

Preferred Shelf Number

TK 7868.S9 M275 1972

Format:

Availability

Beytepe Library~3

Available:
Copies:

53.

Logic for philosophers

Author

Purtill, Richard L., 1931-

Preferred Shelf Number

BC 71 P86 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

54.

Sets and logic

Author

Hanna, Samuel C. Saber, John C., ort. yaz.

Preferred Shelf Number

QA 248 H29 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

55.

Introduction to logic

Author

Beach, John D.

Preferred Shelf Number

BC 108 B34 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

56.

Understanding symbolic logic

Author

Massey, Gerald J.

Preferred Shelf Number

BC 135 M35 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

Logic in teaching

Author

Ennis, Robert Hugh, 1927-

Preferred Shelf Number

BC 161.T4 E5 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

58.

Methods of logic

Author

Quine, Willard Van Orman.

Preferred Shelf Number

BC 50 Q8 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

59.

Logic and criticism

Author

Righter, William.

Preferred Shelf Number

BH 39 R5 1963

Format:

Availability

Beytepe Library~1

Available:
Copies:

60.

Introduction to logic

Author

Clark, Romane. Welsh, Paul, ort. yaz.

Preferred Shelf Number

BC 71 C5 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

61.

Logic for mathematicians

Author

Rosser, John Barkley, 1907-

Preferred Shelf Number

BC 135 R735 1953

Format:

Availability

Beytepe Library~1

Available:
Copies:

62.

Handbook of Philosophical Logic

Author

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6324-4

Format:

Availability

Online Library~1

Available:
Copies:

63.

Handbook of Philosophical Logic

Author

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3092-4

Format:

Availability

Online Library~1

Available:
Copies:

64.

Handbook of modal logic

Author

Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516909

Format:

Availability

Online Library~1

Available:
Copies:

65.

Logic, Thought and Action

Author

Vanderveken, Daniel. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3167-X

Format:

Availability

Online Library~1

Available:
Copies:

66.

Paraconsistency: Logic and Applications

Author

Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335759.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4438-7

Format:

Availability

Online Library~1

Available:
Copies:

67.

Logic for Computer Scientists

Author

Schöning, Uwe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4763-6

Format:

Availability

Online Library~1

Available:
Copies:

68.

Aspects of inductive logic

Author

Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Combinatory logic. Volume II

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

71.

VHDL for logic synthesis

Author

Rushton, Andrew.

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=41715
John Wiley http://dx.doi.org/10.1002/9781119995852
http://proquest.safaribooksonline.com/?fpi=9780470688472
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg
http://proquest.safaribooksonline.com/9780470688472

Format:

Availability

Online Library~1

Available:
Copies:

72.

Studies in Legal Logic

Author

Hage, Jaap. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3552-7

Format:

Availability

Online Library~1

Available:
Copies:

73.

Introduction to medieval logic

Author

Broadie, Alexander.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

The logic of sense

Author

Deleuze, Gilles.

Preferred Shelf Number

B840 D3813 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

75.

Fundamentals of computer logic

Author

Hutchison, David.

Preferred Shelf Number

TK 7888.4 H97 1981

Format:

Availability

Beytepe Library~1

Available:
Copies:

76.

The logic of poetry

Author

Monaco, Richard. Briggs, J., ort. yaz.

Preferred Shelf Number

PN 1059 M4 M6

Format:

Availability

Beytepe Library~1

Available:
Copies:

77.

Language, logic and god

Author

Ferre, Frederick.

Preferred Shelf Number

B 824.6 F4 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

78.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

79.

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:

80.

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331207.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5487-7

Format:

Availability

Online Library~1

Available:
Copies:

81.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2361-1

Format:

Availability

Online Library~1

Available:
Copies:

82.

The logic of education

Author

Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

83.

Memory-Based Logic Synthesis

Author

Sasao, Tsutomu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-8104-2

Format:

Availability

Online Library~1

Available:
Copies:

84.

Aspects of Mathematical Logic

Author

Casari, E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11080-1

Format:

Availability

Online Library~1

Available:
Copies:

85.

The science of logic

Author

Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358

Format:

Availability

Online Library~1

Available:
Copies:

86.

The science of logic

Author

Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-

Preferred Shelf Number

B2942.E5 D5 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

87.

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-212-8

Format:

Availability

Online Library~1

Available:
Copies:

88.

Logic design of nanoICs

Author

Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

89.

Introduction to logic design

Author

Marcovitz, Alan B.

Preferred Shelf Number

TK7868 L6 M355 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

90.

Fuzzy logic in geology

Author

Demicco, Robert V. Klir, George J., 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Logic, Thought and Language

Author

O'Hear, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

92.

Fuzzy logic in chemistry

Author

Rouvray, D. H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Logic programming and databases

Author

Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.

Preferred Shelf Number

QA 76.63 C47 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

94.

Foundations of illocutionary logic

Author

Searle, John R.

Preferred Shelf Number

P 95.55 S42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

95.

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

96.

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

97.

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

98.

The logic of literature

Author

Hamburger, Kate, 1896-

Preferred Shelf Number

PN 45 H3513 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

99.

Logic, language, and metaphysics

Author

Martin, Richard Milton.

Preferred Shelf Number

BC 51 M37 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

100.

Logic, automata, and algorithms

Author

Aiserman, Mark A.

Preferred Shelf Number

QA 267.5.S4 L613 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

101.

Manual of logic circuits

Author

Maley, Gerald A.

Preferred Shelf Number

QA 401 M35 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

102.

The logic of education

Author

Hirst, Paul Haywood.

Preferred Shelf Number

LB 880 H59 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

103.

Introduction to symbolic logic

Author

Pollock, John L.

Preferred Shelf Number

BC 135 P68 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

104.

The logic of practice

Author

Bourdieu, Pierre, 1930-2002

Preferred Shelf Number

GN 468 B6813 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

105.

Molecular logic-based computation

Author

Silva, A. Prasanna de.

Preferred Shelf Number

ONLINE(343059.1)

Electronic Access

Check for Full Text Access restricted: MSVU users only
Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021
ebrary http://site.ebrary.com/id/10640412
http://swb.eblib.com/patron/FullRecord.aspx?p=1185759

Format:

Availability

Online Library~1

Available:
Copies:

106.

Logic and Integer Programming

Author

Williams, H. Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-92280-5

Format:

Availability

Online Library~1

Available:
Copies:

107.

Logic and information flow

Author

Eijck, J. van (Jan) Visser, Albert.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Logic IC master reference

Author

Heiserman, David L., 1940-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Foundations of logic programming

Author

Lloyd, John Wylie, 1947-

Preferred Shelf Number

QA 76.6 L538 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

110.

Language, truth, and logic

Author

Ayer, Alfred Julies, 1910-

Preferred Shelf Number

B 53 A9 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

111.

Logic, automata, and algorithms

Author

Aĭzerman, M. A. (Mark Aronovich), 1913-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Probability and inductive logic

Author

Kyburg, Henry Ely, 1928-

Preferred Shelf Number

BC 91 K9 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

113.

Formal and transcendental logic

Author

Husserl, Edmund, 1859-1938.

Preferred Shelf Number

BC 122 H813 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

114.

Fulse and logic circuits

Author

Gillie, Angelo C., ed.

Preferred Shelf Number

TK 7867 G54 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

115.

Set theory and logic

Author

Fraenkel, Abraham Adolf, 1891-1965.

Preferred Shelf Number

QA 248 F73 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

116.

Logic and boolean algebra

Author

Arnold, Bradford Henry, 1916-

Preferred Shelf Number

QA 266 A7 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

117.

Advanced digital logic concepts

Preferred Shelf Number

TK 7868.D5 A95 1983

Format:

Availability

Beytepe Library~1

Available:
Copies:

118.

Hybrid Logic and its Proof-Theory

Author

Braüner, Torben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0002-4

Format:

Availability

Online Library~1

Available:
Copies:

119.

A grammatical view of logic programming

Author

Deransart, Pierre. Małuszyński, J. (Jan), 1941-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Gentzen Calculi for Modal Propositional Logic

Author

Poggiolesi, Francesca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9670-8

Format:

Availability

Online Library~1

Available:
Copies:

121.

Handbook of Philosophical Logic Volume 16

Author

Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0479-4

Format:

Availability

Online Library~1

Available:
Copies:

122.

Handbook of logic and language

Author

Benthem, Johan van, 1949- Meulen, Alice G. B. ter.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Handbook of Philosophical Logic Volume 15

Author

Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0485-5

Format:

Availability

Online Library~1

Available:
Copies:

124.

A Companion to philosophical logic

Author

Jacquette, Dale. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470996751

Format:

Availability

Online Library~1

Available:
Copies:

125.

Greek, Indian, and Arabic logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

127.

Mathematical Logic Foundations for Information Science

Author

Li, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-9977-1

Format:

Availability

Online Library~1

Available:
Copies:

128.

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Intuitionistic logic, model theory and forcing

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Truth and consequence in mediaeval logic

Author

Moody, Ernest A. (Ernest Addison), 1903-1975.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

The propositional logic of Boethius

Author

Dürr, Karl, 1888-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

An essay in modal logic

Author

Wright, G. H. von (Georg Henrik), 1916-2003.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Logic programming languages constraints, functions, and objects

Author

Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Logic Pro 9 audio and music production

Author

Cousins, Mark, 1972- Hepworth-Sawyer, Russ.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Proceedings of the Second Scandinavian Logic Symposium

Author

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

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:

140.

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:

141.

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:

142.

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:

143.

R-Calculus, IV: Propositional Logic

Author

Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520383.1)

Electronic Access

https://doi.org/10.1007/978-981-19-8633-8

Format:

Availability

Online Library~1

Available:
Copies:

144.

The Bloomsbury companion to philosophical logic

Author

Horsten, Leon. Pettigrew, Richard.

Preferred Shelf Number

BC71 B583 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

145.

Logic of analog and digital machines

Author

Rocchi, Paolo.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746

Format:

Availability

Online Library~1

Available:
Copies:

146.

A Course on Mathematical Logic

Author

Srivastava, Shashi Mohan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331853.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5746-6

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cylindric-like Algebras and Algebraic Logic

Author

Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333922.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35025-2

Format:

Availability

Online Library~1

Available:
Copies:

148.

Mechanical logic in three-dimensional space

Author

Auletta, Gennaro, author.

Preferred Shelf Number

ONLINE(342612.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

149.

Purgatory the logic of total transformation

Author

Walls, Jerry L.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Mathematical Logic for Computer Science

Author

Ben-Ari, Mordechai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4129-7

Format:

Availability

Online Library~1

Available:
Copies:

151.

Logic Circuit Design Selected Methods

Author

Vingron, Shimon P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27657-6

Format:

Availability

Online Library~1

Available:
Copies:

152.

Digital logic design a rigorous approach

Author

Even, Guy. Medina, Moti, 1979-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549

Format:

Availability

Online Library~1

Available:
Copies:

153.

Sets, Logic and Maths for Computing

Author

Makinson, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2500-6

Format:

Availability

Online Library~1

Available:
Copies:

154.

Logic and the Organization of Information

Author

Frické, Martin. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3088-9

Format:

Availability

Online Library~1

Available:
Copies:

155.

Combinatory logic pure, applied and typed

Author

Bimb,̤ Katalin, 1963-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

156.

Logic : the laws of truth

Author

Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7sr96

Format:

Availability

Online Library~1

Available:
Copies:

157.

Handbook of logic and language

Author

Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

159.

The logic of positive engagement

Author

Nincic, Miroslav.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.7591/j.ctt7v74h

Format:

Availability

Online Library~1

Available:
Copies:

160.

Lollipop logic : grades K-2

Author

Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.

Preferred Shelf Number

BC71 R57 2011 V.1

Format:

Availability

Beytepe Library~3

Available:
Copies:

161.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1221-3

Format:

Availability

Online Library~1

Available:
Copies:

162.

Logic the question of truth

Author

Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

163.

Fuzzy logic and hydrological modeling

Author

?en, Zekí.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

164.

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

165.

Fuzzy logic with engineering applications

Author

Ross, Timothy J. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781119994374
http://site.ebrary.com/lib/alltitles/Doc?id=10358927

Format:

Availability

Online Library~1

Available:
Copies:

166.

Modality metaphysics, logic, and epistemology

Author

Hale, Bob, 1945- Hoffmann, Aviv.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Data integration the relational logic approach

Author

Genesereth, Michael R., 1948-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318

Format:

Availability

Online Library~1

Available:
Copies:

168.

Neural Cell Behavior and Fuzzy Logic

Author

Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-09543-1

Format:

Availability

Online Library~1

Available:
Copies:

169.

Logic and computer design fundamentals

Author

Mano, M. Morris Kime, Charles R., ort. yaz.

Preferred Shelf Number

TK7888.4 M36 2008

Format:

Availability

Beytepe Library~3

Available:
Copies:

170.

Extensionalism The Revolution in Logic

Author

Bar-Am, Nimrod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8168-2

Format:

Availability

Online Library~1

Available:
Copies:

171.

Lectures on logic : Berlin, 1831

Author

Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-

Preferred Shelf Number

B2944.V652 E5 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

172.

A Course on Mathematical Logic

Author

Srivastava, S. M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-76277-7

Format:

Availability

Online Library~1

Available:
Copies:

173.

Sets, Logic and Maths for Computing

Author

Makinson, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-845-6

Format:

Availability

Online Library~1

Available:
Copies:

174.

Elementary Logic For Software Development

Author

Lover, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-082-7

Format:

Availability

Online Library~1

Available:
Copies:

175.

Temporal Logic and State Systems

Author

Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68635-4

Format:

Availability

Online Library~1

Available:
Copies:

176.

Digital electronics and logic design

Author

Nair, B. Somanathan.

Preferred Shelf Number

TK7868.D5 N35 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

177.

Fuzzy logic with engineering applications

Author

Ross, Timothy J.

Preferred Shelf Number

TA331 R675 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

178.

Introduction to Fuzzy Logic using MATLAB

Author

Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35781-0

Format:

Availability

Online Library~1

Available:
Copies:

179.

Logic : informal, symbolic and inductive

Author

Chakraborti, Chhanda.

Preferred Shelf Number

BC91 C42 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

180.

Quantifiers in language and logic

Author

Peters, Stanley, 1941- Westerståhl, Dag, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Fuzzy Logic Applications in Engineering Science

Author

Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4078-4

Format:

Availability

Online Library~1

Available:
Copies:

182.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34241-9

Format:

Availability

Online Library~1

Available:
Copies:

183.

Theories of Judgment Psychology, Logic, Phenomenology

Author

Martin, Wayne.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

184.

Fuzzy logic and the semantic web

Author

Sanchez, Elie, 1944-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Rigid Flexibility The Logic of Intelligence

Author

Wang, Pei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5045-3

Format:

Availability

Online Library~1

Available:
Copies:

186.

Fuzzy Logic in Financial Analysis

Author

Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32368-6

Format:

Availability

Online Library~1

Available:
Copies:

187.

Handbook of Philosophical Logic, 2nd Edition

Author

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3521-7

Format:

Availability

Online Library~1

Available:
Copies:

188.

Grounded Consequence for Defeasible Logic

Author

Antonelli, Aldo.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

189.

Fuzzy Logic, Identification and Predictive Control

Author

Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138626

Format:

Availability

Online Library~1

Available:
Copies:

190.

Logic and computer design fundamentals

Author

Mano, M. Morris Kime, Charles R., ort. yaz.

Preferred Shelf Number

TK 7888.4 M36 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

191.

Probability theory : the logic of science

Author

Jaynes, E. T. Bretthorst, G. Larry, ed.

Preferred Shelf Number

QA 273 J36 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

192.

Relevant Logic A Philosophical Interpretation

Author

Mares, Edwin D..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

193.

Fuzzy logic for embedded systems applications

Author

Ibrahim, Ahmad M., 1951-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Genetics and the logic of evolution

Author

Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available from Wiley InterScience
Authentication may be required
John Wiley http://dx.doi.org/10.1002/0471532657
Book review (E-STREAMS) http://www.e-streams.com/es0708/es0708_3453.html
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html

Format:

Availability

Online Library~1

Available:
Copies:

195.

Linear Logic in Computer Science

Author

Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

196.

Design of logic-based intelligent systems

Author

Truemper, K., 1942- John Wiley & Sons, Inc.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Arithmetic and logic in computer systems

Author

Lu, Mi.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429

Format:

Availability

Online Library~1

Available:
Copies:

198.

Probability Theory The Logic of Science

Author

Jaynes, E. T.. Bretthorst, G. Larry.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

199.

Verilog coding for logic synthesis

Author

Lee, Weng Fook. John Wiley & Sons, Inc.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html
John Wiley http://dx.doi.org/10.1002/0471457566
http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736
Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html

Format:

Availability

Online Library~1

Available:
Copies:

200.

Digital logic testing and simulation

Author

Miczo, Alexander.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471457787
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html
Volltext http://proquest.tech.safaribooksonline.de/9780471439950

Format:

Availability

Online Library~1

Available:
Copies:

201.

The Logic of Concept Expansion

Author

Buzaglo, Meir.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

202.

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:

203.

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:

204.

Air logic control for automated systems

Author

Wojtecki, Rudy.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

205.

Hegel's science of logic

Author

Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.

Preferred Shelf Number

B2942.E5 M55 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

206.

The essence of logic circuits

Author

Unger, Stephen H., 1931-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Principles of logic and logic programming

Author

Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Organic reactions, simplicity and logic

Author

Laszlo, Pierre.

Preferred Shelf Number

QD253 .L3813 1995

Format:

Availability

Beytepe Library~1

Available:
Copies:

209.

The logic of chemical synthesis

Author

Corey, E. J. Cheng, Xue-min, ort. yaz.

Preferred Shelf Number

QD 262 C577 1995

Format:

Availability

Health Sciences Library~1

Available:
Copies:

210.

From logic to logic programming

Author

Doets, Kees.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Computer architecture and logic design

Author

Bartee, Thomas C.

Preferred Shelf Number

QA 76.9.A73 B374 1991

Format:

Availability

Beytepe Library~1

Available:
Copies:

212.

Kotarbinski : logic, semantics, and ontology

Author

Wolenski, J., ed.

Preferred Shelf Number

B 4691.K594 K67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

213.

Leibniz's philosophy logic and language

Author

Ishiguro, Hide

Preferred Shelf Number

B 2599.L8 I83 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

214.

Parallel computers : object-oriented, functional, logic

Author

Treleaven, P. C., ed.

Preferred Shelf Number

QA 76.5 P314 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

215.

Systems programming in parallel logic languages

Author

Foster, Ian, 1959-

Preferred Shelf Number

QA 76.66 F67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

216.

Foundations of equational logic programming

Author

Hölldobler, Steffen, 1957-

Preferred Shelf Number

QA 76.63 H65 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

217.

The sociological logic of space

Author

Hillier, Bill. Hanson, J., ort. yaz.

Preferred Shelf Number

NA 2765 H558 1984

Format:

Availability

Beytepe Library~1

Available:
Copies:

218.

The architectural logic of database systems.

Author

Yannakoudakis, E. J., 1950-

Preferred Shelf Number

QA 76.9.D3 Y36 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

219.

Logic programming and knowledge engineering

Author

Amble, Tore, 1945-

Preferred Shelf Number

QA 76.6 A464 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

220.

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:

221.

Logic testing and design for testability

Author

Fujiwara, Hideo.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

The Logic of international relations

Author

Jones, Walter S., 1938- Rosen, S. J., ort. yaz.

Preferred Shelf Number

JX 1395 J73

Format:

Availability

Beytepe Library~1

Available:
Copies:

223.

Logic circuits and microcomputer systems

Author

Wiatrowski, Claude A. House, H., ort. yaz.

Preferred Shelf Number

TK 7868.L6 W5 1980

Format:

Availability

Beytepe Library~1

Available:
Copies:

224.

Digital logic and computer design

Author

Mano, M. Morris.

Preferred Shelf Number

TK 7888.3 M345 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

225.

Problems and solutions in logic design

Author

Zissos, D.

Preferred Shelf Number

TK 7868.L6 Z57 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

226.

Logic design and switching theory

Author

Muroga, Saburo.

Preferred Shelf Number

TK 7868.L6 M87 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

227.

The linguistic basis of logic translation

Author

Otto, Herbert R.

Preferred Shelf Number

P 306 O8 1978

Format:

Availability

Beytepe Library~1

Available:
Copies:

228.

Digital circuits and logic design

Author

Lee, Samuel C.

Preferred Shelf Number

TK 7868.D5 L4 1976

Format:

Availability

Beytepe Library~1

Available:
Copies:

229.

Designing logic systems using state machines

Author

Clare, Christopher R.

Preferred Shelf Number

TK 7888.3 C6 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

230.

Logic : the study of deductive reasoning

Author

Yıldırım, Cemal.

Preferred Shelf Number

BC 71 Y51 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

231.

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:

232.

Analog/logic computer programming and simulation

Author

Ricci, Fred J.

Preferred Shelf Number

QA 76.4 R53 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

233.

A mathematical introduction to logic

Author

Enderton, Herbert B.

Preferred Shelf Number

QA 9 E54 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

234.

Lawlikeness, analogy and inductive logic

Author

Pietarinen, Juhani.

Preferred Shelf Number

BC 91 P6172 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

235.

Eighteenth-century British logic and rhetoric

Author

Howell, Wilbur Samuel, 1904-

Preferred Shelf Number

BC 38 H59 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

236.

Deontic logic : introductory and systematic readings

Author

Hilpinen, Risto.

Preferred Shelf Number

BC 145 H53 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

237.

Threshold logic and its applications

Author

Muroga, Saburo.

Preferred Shelf Number

QA 401 M85 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

238.

Recursive function theory and logic

Author

Yasuhara, Ann.

Preferred Shelf Number

QA 248.5 Y36 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

239.

The logic of the price system

Author

Trescott, Paul B.

Preferred Shelf Number

HB 201 T67 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

240.

Term logic with choice operator

Author

Hermes, Hans.

Preferred Shelf Number

BC 135 H4 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

241.

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

242.

The logic of comparative social inquiry

Author

Przeworski, Adam. Teune, Henry, ort. yaz.

Preferred Shelf Number

H 62 P79 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

243.

Logic and philosophy : a modern introduction

Author

Kahane, Howard, 1928-

Preferred Shelf Number

BC 108 K3 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

244.

An introduction to mathematical logic

Author

Robinson, Gerson B., 1909-

Preferred Shelf Number

QA 9 R72 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

245.

The logic of explanation in psychoanalysis

Author

Sherwood, Michael.

Preferred Shelf Number

BF 323.E8 S5 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

246.

The logic of social inquiry

Author

Greer, Scott A.

Preferred Shelf Number

H 61 G73 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

247.

An introduction to modal logic

Author

Hughes, G. E. Cresswell, M. J., ort. yaz.

Preferred Shelf Number

BC 108 H874 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

248.

The logic of survey analysis

Author

Rosenberg, Morris.

Preferred Shelf Number

HN 29 R6 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

249.

Basic concepts of mathematics and logic

Author

Gemignani, Michael C.

Preferred Shelf Number

QA 39 G2846 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

250.

An Introduction to many-valued logic

Author

Ackermann, Robert John, 1933-

Preferred Shelf Number

QA 9 A5 1967

Format:

Availability

Beytepe Library~1

Available:
Copies:

251.

The Logic and rhetoric of exposition

Author

Martin, Harold Clark. Ohmann, Richard M., ort. yaz.

Preferred Shelf Number

PE 1429 M3

Format:

Availability

Beytepe Library~1

Available:
Copies:

252.

Logic and the basis of ethics

Author

Prior, A. N. (Arthur N.), 1914-1969.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

254.

The logic of modern physics

Author

Brigman, Percy Williams, 1882-

Preferred Shelf Number

QC 6 B68 1960

Format:

Availability

Beytepe Library~1

Available:
Copies:

255.

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

256.

Logic : the theory of inquiry

Author

Dewey, John, 1859-

Preferred Shelf Number

BC 50 D43 1938

Format:

Availability

Beytepe Library~1

Available:
Copies:

257.

Logic Pro 8 audio and music production

Author

Cousins, Mark. Hepworth-Sawyer, Russ.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Fundamentals of digital logic and microcomputer design

Author

Rafiquzzaman, Mohamed.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609
John Wiley http://dx.doi.org/10.1002/0471733520
John Wiley http://dx.doi.org/10.1002/9780471733522
http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380

Format:

Availability

Online Library~1

Available:
Copies:

259.

Logic on the track of social change

Author

Braybrooke, David. Brown, Bryson. Schotch, Peter K.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Judgement and the Epistemic Foundation of Logic

Author

van der Schaar, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335895.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5137-8

Format:

Availability

Online Library~1

Available:
Copies:

261.

McGraw-Hill's conquering LSAT logic games

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

262.

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

Author

Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Logic programming proceedings of the Tenth International Conference on Logic Programming

Author

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Logic programming proceedings of the 1997 International Symposium

Author

Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Handbook of quantum logic and quantum structures quantum logic

Author

Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Inductive logic programming from machine learning to software engineering

Author

Bergadano, Francesco, 1963- Gunetti, Daniele.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Logic programming proceedings of the twelfth International Conference on Logic Programming

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Logic programming proceedings of the eleventh International Conference on Logic Programming

Author

Van Hentenryck, Pascal.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

Author

Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

Author

Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

Author

Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Author

Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Author

Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

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:

275.

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

Author

Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

Author

Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

Author

Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

Author

Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Author

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Availability

Online Library~1

Available:
Copies:

280.

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

Author

Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Author

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Author

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

Author

Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Author

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Author

International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Author

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Author

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Author

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Author

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Author

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Author

Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Logic, methodology and philosophy of science proceedings of the 1960 international congress

Author

International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Advanced fuzzy logic approaches in engineering science

Author

Ram, Mangey, editor. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8

Format:

Availability

Online Library~1

Available:
Copies:

294.

Logic and discrete mathematics : a concise introduction

Author

Conradie, Willem, 1978- author. Goranko, Valentin, author.

Preferred Shelf Number

QA9 C7423 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

295.

Later medieval metaphysics ontology, language, and logic

Author

Keele, Rondo, 1968- Bolyard, Charles. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

296.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Availability

Online Library~1

Available:
Copies:

297.

Independence-Friendly Logic A Game-Theoretic Approach

Author

Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

298.

Towards a Design Flow for Reversible Logic

Author

Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9579-4

Format:

Availability

Online Library~1

Available:
Copies:

299.

A Course in Mathematical Logic for Mathematicians

Author

Manin, Yu. I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0615-1

Format:

Availability

Online Library~1

Available:
Copies:

300.

Linguistic Fuzzy Logic Methods in Social Sciences

Author

Arfi, Badredine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13343-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}