Search Results for Logic

1.

Logic

Yazar

Salmon, Wesley C., 1908-1931

Yer Numarası

BC 108 S2 1963

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Computational logic

Yer Numarası

ONLINE(355347.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Combinatory logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic demystified

Yazar

Boutelle, Anthony. Gibilisco, Stan.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Logic countdown

Yazar

Risby, Bonnie.

Yer Numarası

LB1590.3 R57 2008

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Logic liftoff

Yazar

Risby, Bonnie. Crawford, Dean, illustrator.

Yer Numarası

LB1590.3 R57 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Primarily logic

Yazar

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

Yer Numarası

LB1590.3 L45 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Mathematical logic

Yazar

Tourlakis, George J.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Logic countdown

Yazar

Risby, Bonnie Lou. Crawford, Dean.

Format:

Durum

~0

Rafta:
Kopya:

10.

Logic Safari

Yazar

Risby, Bonnie Lou. Palouda, Annelise.

Yer Numarası

BC101 R57 2005 V.1

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

11.

Logic design

Yazar

Chen, Wai-Kai, 1936-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Mathematical logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Dynamic logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Logic circuits

Yazar

Morris, Noel Malcolm.

Yer Numarası

TK 7868.L6 M67 1983

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

15.

Symbolic logic

Yazar

Copi, Irving M.

Yer Numarası

BC 135 C58 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

16.

Elementary logic

Yazar

Mates, Benson, 1919-

Yer Numarası

BC 135 M37 1972 E

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

17.

Symbolic logic

Yazar

Venn, John, 1834-1923.

Yer Numarası

BC 135 V4 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

18.

Threshold logic

Yazar

Sheng, Ching-Lai.

Yer Numarası

QA 401 S46 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

19.

Philosophical logic

Yazar

Strawson, P. F.

Yer Numarası

BC6 S8 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

20.

Introductory logic

Yazar

Creighton, James Edwin, 1861-1924.

Yer Numarası

BC 108 C87 1920

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

21.

Formal logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Logic Colloquium 2007

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Logic Colloquium 2006

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Logic Colloquium 2005

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Dynamic Epistemic Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Computability, complexity, logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Ancient formal logic

Yazar

Bochenski, Joseph M., 1902-1995.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Logic and Structure

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331010.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Logic the basics

Yazar

Beall, J. C.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Philosophy of logic

Yazar

Jacquette, Dale.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Orbiting with logic

Yazar

Risby, Bonnie Lou. Crawford, Dean.

Yer Numarası

LB1590.3 R57 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

32.

Logic and structure

Yazar

Dalen, D. van.

Yer Numarası

QA 9 D16 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

33.

Digital logic design

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Logic and existence

Yazar

Hyppolite, Jean.

Yer Numarası

B2949.L8 H913 1997

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

35.

Introduction to logic

Yazar

Suppes, Patrick Colonel, 1922-

Yer Numarası

BC 108 S85 1957

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

36.

Advanced Logic Synthesis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Logic in games

Yazar

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

Yer Numarası

ONLINE(364947.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Synchronous precharge logic

Yazar

Smoszna, Marek.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Introduction to logic

Yazar

Gensler, Harry J., 1945-

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Programmable logic controllers

Yazar

Bolton, W. (William), 1933-

Yer Numarası

TJ223.P76 B65 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

41.

Stochastic Coalgebraic Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Programmable logic controllers

Yazar

Bolton, W. (William), 1933-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Logic in Reality

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Programmable logic controllers

Yazar

Bolton, W. (William), 1933-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Fuzzy Equational Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Contemporary logic design

Yazar

Katz, Randy H., 1955-

Yer Numarası

TK 7888.4 K36 1994

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

47.

Computability and logic

Yazar

Boolos, George S. Jeffrey, R. C., ort. yaz.

Yer Numarası

QA 9.59 B66 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

48.

Systems of logic

Yazar

Martin, Norman M.

Yer Numarası

BC 135 M325 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

49.

Logic with prolog

Yazar

Gibbins, Peter.

Yer Numarası

QA 76.73.P76 G53 1988

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

50.

Logic tools programming

Yazar

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

Yer Numarası

QA 76.6 P325 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

51.

Introduction to logic

Yazar

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

Yer Numarası

BC 108 P22 1980

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

52.

Computer logic design

Yazar

Mano, M. Morris, 1927-

Yer Numarası

TK 7868.S9 M275 1972

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

53.

Sets and logic

Yazar

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

Yer Numarası

QA 248 H29 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

54.

Logic for philosophers

Yazar

Purtill, Richard L., 1931-

Yer Numarası

BC 71 P86 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

55.

Introduction to logic

Yazar

Beach, John D.

Yer Numarası

BC 108 B34 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

56.

Understanding symbolic logic

Yazar

Massey, Gerald J.

Yer Numarası

BC 135 M35 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

57.

Logic in teaching

Yazar

Ennis, Robert Hugh, 1927-

Yer Numarası

BC 161.T4 E5 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

58.

Methods of logic

Yazar

Quine, Willard Van Orman.

Yer Numarası

BC 50 Q8 1966

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

59.

Logic and criticism

Yazar

Righter, William.

Yer Numarası

BH 39 R5 1963

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

60.

Introduction to logic

Yazar

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

Yer Numarası

BC 71 C5 1962

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

61.

Logic for mathematicians

Yazar

Rosser, John Barkley, 1907-

Yer Numarası

BC 135 R735 1953

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

62.

Handbook of Philosophical Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Handbook of Philosophical Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Handbook of modal logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Logic, Thought and Action

Yazar

Vanderveken, Daniel. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Paraconsistency: Logic and Applications

Yazar

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

Yer Numarası

ONLINE(335759.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Logic for Computer Scientists

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Aspects of inductive logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Combinatory logic. Volume II

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Introduction to mathematical logic

Yazar

Mendelson, Elliott.

Yer Numarası

QA9 M4 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

71.

VHDL for logic synthesis

Yazar

Rushton, Andrew.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Studies in Legal Logic

Yazar

Hage, Jaap. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Introduction to medieval logic

Yazar

Broadie, Alexander.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

The logic of sense

Yazar

Deleuze, Gilles.

Yer Numarası

B840 D3813 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

75.

Fundamentals of computer logic

Yazar

Hutchison, David.

Yer Numarası

TK 7888.4 H97 1981

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

76.

The logic of poetry

Yazar

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

Yer Numarası

PN 1059 M4 M6

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

77.

Language, logic and god

Yazar

Ferre, Frederick.

Yer Numarası

B 824.6 F4 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

78.

Introduction to mathematical logic

Yazar

Mendelson, Elliott.

Yer Numarası

QA 9 M4 1964

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

79.

Advances in modal logic

Yazar

Kracht, Marcus, ed.

Yer Numarası

BC 199.M6 A38 1998- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

80.

Logic Programming with Prolog

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331207.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Logic: A Brief Course

Yazar

Mundici, Daniele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

The logic of education

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Aspects of Mathematical Logic

Yazar

Casari, E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Memory-Based Logic Synthesis

Yazar

Sasao, Tsutomu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

The science of logic

Yazar

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

Yer Numarası

B2942.E5 D5 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

86.

The science of logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Logic design of nanoICs

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Introduction to logic design

Yazar

Marcovitz, Alan B.

Yer Numarası

TK7868 L6 M355 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

89.

Logic Programming with Prolog

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Fuzzy logic in geology

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Logic, Thought and Language

Yazar

O'Hear, Anthony.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Fuzzy logic in chemistry

Yazar

Rouvray, D. H.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Logic programming and databases

Yazar

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

Yer Numarası

QA 76.63 C47 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

94.

Foundations of illocutionary logic

Yazar

Searle, John R.

Yer Numarası

P 95.55 S42 1985

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

95.

Temporal logic of programs

Yazar

Kröger, Fred, 1945-

Yer Numarası

QA 76.6 K753 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

96.

Fundamentals of logic design

Yazar

Roth, Charles H.

Yer Numarası

TK 7868.L6 R67 1985

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

97.

Fundamentals of logic design

Yazar

Roth, Charles H.

Yer Numarası

TK 7868.L6 R67 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

98.

The logic of literature

Yazar

Hamburger, Kate, 1896-

Yer Numarası

PN 45 H3513 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

99.

Logic, automata, and algorithms

Yazar

Aiserman, Mark A.

Yer Numarası

QA 267.5.S4 L613 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

100.

Logic, language, and metaphysics

Yazar

Martin, Richard Milton.

Yer Numarası

BC 51 M37 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

101.

Manual of logic circuits

Yazar

Maley, Gerald A.

Yer Numarası

QA 401 M35 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

102.

The logic of education

Yazar

Hirst, Paul Haywood.

Yer Numarası

LB 880 H59 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

103.

Introduction to symbolic logic

Yazar

Pollock, John L.

Yer Numarası

BC 135 P68 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

104.

The logic of practice

Yazar

Bourdieu, Pierre, 1930-2002

Yer Numarası

GN 468 B6813 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

105.

Molecular logic-based computation

Yazar

Silva, A. Prasanna de.

Yer Numarası

ONLINE(343059.1)

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Logic and Integer Programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Logic and information flow

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Logic IC master reference

Yazar

Heiserman, David L., 1940-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Foundations of logic programming

Yazar

Lloyd, John Wylie, 1947-

Yer Numarası

QA 76.6 L538 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

110.

Logic, automata, and algorithms

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Language, truth, and logic

Yazar

Ayer, Alfred Julies, 1910-

Yer Numarası

B 53 A9 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

112.

Probability and inductive logic

Yazar

Kyburg, Henry Ely, 1928-

Yer Numarası

BC 91 K9 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

113.

Formal and transcendental logic

Yazar

Husserl, Edmund, 1859-1938.

Yer Numarası

BC 122 H813 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

114.

Fulse and logic circuits

Yazar

Gillie, Angelo C., ed.

Yer Numarası

TK 7867 G54 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

115.

Set theory and logic

Yazar

Fraenkel, Abraham Adolf, 1891-1965.

Yer Numarası

QA 248 F73 1966

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

116.

Logic and boolean algebra

Yazar

Arnold, Bradford Henry, 1916-

Yer Numarası

QA 266 A7 1962

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

117.

Advanced digital logic concepts

Yer Numarası

TK 7868.D5 A95 1983

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

118.

Hybrid Logic and its Proof-Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

A grammatical view of logic programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Gentzen Calculi for Modal Propositional Logic

Yazar

Poggiolesi, Francesca. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Handbook of Philosophical Logic Volume 16

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Handbook of logic and language

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Handbook of Philosophical Logic Volume 15

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

A Companion to philosophical logic

Yazar

Jacquette, Dale. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Greek, Indian, and Arabic logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Games: Unifying Logic, Language, and Philosophy

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Mathematical Logic Foundations for Information Science

Yazar

Li, Wei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Categorical logic and type theory

Yazar

Jacobs, Bart.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Tools and techniques in modal logic

Yazar

Kracht, Marcus.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Intuitionistic logic, model theory and forcing

Yazar

Fitting, Melvin, 1942-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Elements of mathematical logic (Model theory)

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

A survey of mathematical logic

Yazar

Wang, Hao, 1921-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Truth and consequence in mediaeval logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

The propositional logic of Boethius

Yazar

Dürr, Karl, 1888-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

An essay in modal logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Logic programming languages constraints, functions, and objects

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Logic Pro 9 audio and music production

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Proceedings of the Second Scandinavian Logic Symposium

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Chance, love and logic : philosophical essays

Yazar

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

Yer Numarası

B 945.P43 C5 1923 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

140.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

141.

Studies in inductive logic and probability

Yazar

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

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

142.

Logic : the theory of formal inference

Yazar

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

Yer Numarası

BC 108 A55 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

143.

R-Calculus, IV: Propositional Logic

Yazar

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

Yer Numarası

XX(520383.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

The Bloomsbury companion to philosophical logic

Yazar

Horsten, Leon. Pettigrew, Richard.

Yer Numarası

BC71 B583 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

145.

Logic of analog and digital machines

Yazar

Rocchi, Paolo.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Mechanical logic in three-dimensional space

Yazar

Auletta, Gennaro, author.

Yer Numarası

ONLINE(342612.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Cylindric-like Algebras and Algebraic Logic

Yazar

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

Yer Numarası

ONLINE(333922.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

A Course on Mathematical Logic

Yazar

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

Yer Numarası

ONLINE(331853.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Logic Circuit Design Selected Methods

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Purgatory the logic of total transformation

Yazar

Walls, Jerry L.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Digital logic design a rigorous approach

Yazar

Even, Guy. Medina, Moti, 1979-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Combinatory logic pure, applied and typed

Yazar

Bimb,̤ Katalin, 1963-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Logic : the laws of truth

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Logic and the Organization of Information

Yazar

Frické, Martin. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Sets, Logic and Maths for Computing

Yazar

Makinson, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Mathematical Logic for Computer Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal. Seda, Anthony.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

The logic of positive engagement

Yazar

Nincic, Miroslav.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Handbook of logic and language

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Lollipop logic : grades K-2

Yazar

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

Yer Numarası

BC71 R57 2011 V.1

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

161.

Discrete structures, logic, and computability

Yazar

Hein, James L.

Yer Numarası

QA76.9.M35 H44 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

162.

Fuzzy logic and hydrological modeling

Yazar

?en, Zekí.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Modality metaphysics, logic, and epistemology

Yazar

Hale, Bob, 1945- Hoffmann, Aviv.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Logic the question of truth

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Data integration the relational logic approach

Yazar

Genesereth, Michael R., 1948-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Fuzzy logic with engineering applications

Yazar

Ross, Timothy J. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

A Concise Introduction to Mathematical Logic

Yazar

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Neural Cell Behavior and Fuzzy Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Lectures on logic : Berlin, 1831

Yazar

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

Yer Numarası

B2944.V652 E5 2008

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

170.

Elementary Logic For Software Development

Yazar

Lover, Robert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Sets, Logic and Maths for Computing

Yazar

Makinson, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Temporal Logic and State Systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

A Course on Mathematical Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Extensionalism The Revolution in Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Logic and computer design fundamentals

Yazar

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

Yer Numarası

TK7888.4 M36 2008

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

176.

Digital electronics and logic design

Yazar

Nair, B. Somanathan.

Yer Numarası

TK7868.D5 N35 2008

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

177.

Logic : informal, symbolic and inductive

Yazar

Chakraborti, Chhanda.

Yer Numarası

BC91 C42 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

178.

Introduction to Fuzzy Logic using MATLAB

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Fuzzy logic with engineering applications

Yazar

Ross, Timothy J.

Yer Numarası

TA331 R675 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

180.

Quantifiers in language and logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Fuzzy logic and the semantic web

Yazar

Sanchez, Elie, 1944-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Theories of Judgment Psychology, Logic, Phenomenology

Yazar

Martin, Wayne.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

A Concise Introduction to Mathematical Logic

Yazar

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Rigid Flexibility The Logic of Intelligence

Yazar

Wang, Pei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Fuzzy Logic Applications in Engineering Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Grounded Consequence for Defeasible Logic

Yazar

Antonelli, Aldo.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Fuzzy Logic, Identification and Predictive Control

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Handbook of Philosophical Logic, 2nd Edition

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Fuzzy Logic in Financial Analysis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Fuzzy logic for embedded systems applications

Yazar

Ibrahim, Ahmad M., 1951-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Relevant Logic A Philosophical Interpretation

Yazar

Mares, Edwin D..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Linear Logic in Computer Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Genetics and the logic of evolution

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Design of logic-based intelligent systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Arithmetic and logic in computer systems

Yazar

Lu, Mi.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Probability theory : the logic of science

Yazar

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

Yer Numarası

QA 273 J36 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

197.

Logic and computer design fundamentals

Yazar

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

Yer Numarası

TK 7888.4 M36 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

198.

Probability Theory The Logic of Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Verilog coding for logic synthesis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Digital logic testing and simulation

Yazar

Miczo, Alexander.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

The Logic of Concept Expansion

Yazar

Buzaglo, Meir.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

The logic of knowledge bases

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Computers : from logic to architecture

Yazar

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

Yer Numarası

QA 76.9.A73 D45 2000

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

204.

Air logic control for automated systems

Yazar

Wojtecki, Rudy.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Hegel's science of logic

Yazar

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

Yer Numarası

B2942.E5 M55 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

206.

The essence of logic circuits

Yazar

Unger, Stephen H., 1931-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Principles of logic and logic programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Organic reactions, simplicity and logic

Yazar

Laszlo, Pierre.

Yer Numarası

QD253 .L3813 1995

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

209.

The logic of chemical synthesis

Yazar

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

Yer Numarası

QD 262 C577 1995

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

210.

From logic to logic programming

Yazar

Doets, Kees.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Computer architecture and logic design

Yazar

Bartee, Thomas C.

Yer Numarası

QA 76.9.A73 B374 1991

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

212.

Parallel computers : object-oriented, functional, logic

Yazar

Treleaven, P. C., ed.

Yer Numarası

QA 76.5 P314 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

213.

Kotarbinski : logic, semantics, and ontology

Yazar

Wolenski, J., ed.

Yer Numarası

B 4691.K594 K67 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

214.

Systems programming in parallel logic languages

Yazar

Foster, Ian, 1959-

Yer Numarası

QA 76.66 F67 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

215.

Leibniz's philosophy logic and language

Yazar

Ishiguro, Hide

Yer Numarası

B 2599.L8 I83 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

216.

Foundations of equational logic programming

Yazar

Hölldobler, Steffen, 1957-

Yer Numarası

QA 76.63 H65 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

217.

The architectural logic of database systems.

Yazar

Yannakoudakis, E. J., 1950-

Yer Numarası

QA 76.9.D3 Y36 1988

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

218.

The sociological logic of space

Yazar

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

Yer Numarası

NA 2765 H558 1984

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

219.

Logic programming and knowledge engineering

Yazar

Amble, Tore, 1945-

Yer Numarası

QA 76.6 A464 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

220.

Logic testing and design for testability

Yazar

Fujiwara, Hideo.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Mathematical logic and programming languages

Yazar

Hoare, C. A. R., ed. Shepherdson, J. C., ed.

Yer Numarası

QA 9 M42 1985

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

222.

The Logic of international relations

Yazar

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

Yer Numarası

JX 1395 J73

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

223.

Logic circuits and microcomputer systems

Yazar

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

Yer Numarası

TK 7868.L6 W5 1980

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

224.

Logic design and switching theory

Yazar

Muroga, Saburo.

Yer Numarası

TK 7868.L6 M87 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

225.

Digital logic and computer design

Yazar

Mano, M. Morris.

Yer Numarası

TK 7888.3 M345 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

226.

Problems and solutions in logic design

Yazar

Zissos, D.

Yer Numarası

TK 7868.L6 Z57 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

227.

The linguistic basis of logic translation

Yazar

Otto, Herbert R.

Yer Numarası

P 306 O8 1978

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

228.

Digital circuits and logic design

Yazar

Lee, Samuel C.

Yer Numarası

TK 7868.D5 L4 1976

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

229.

Designing logic systems using state machines

Yazar

Clare, Christopher R.

Yer Numarası

TK 7888.3 C6 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

230.

Symbolic logic and mechanical theorem proving

Yazar

Chang, Chin-Liang, 1937- Lee, R. C., ed.

Yer Numarası

QA 9 C49 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

231.

Logic : the study of deductive reasoning

Yazar

Yıldırım, Cemal.

Yer Numarası

BC 71 Y51 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

232.

A mathematical introduction to logic

Yazar

Enderton, Herbert B.

Yer Numarası

QA 9 E54 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

233.

Analog/logic computer programming and simulation

Yazar

Ricci, Fred J.

Yer Numarası

QA 76.4 R53 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

234.

Lawlikeness, analogy and inductive logic

Yazar

Pietarinen, Juhani.

Yer Numarası

BC 91 P6172 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

235.

Eighteenth-century British logic and rhetoric

Yazar

Howell, Wilbur Samuel, 1904-

Yer Numarası

BC 38 H59 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

236.

Threshold logic and its applications

Yazar

Muroga, Saburo.

Yer Numarası

QA 401 M85 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

237.

Deontic logic : introductory and systematic readings

Yazar

Hilpinen, Risto.

Yer Numarası

BC 145 H53 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

238.

Recursive function theory and logic

Yazar

Yasuhara, Ann.

Yer Numarası

QA 248.5 Y36 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

239.

The logic of the price system

Yazar

Trescott, Paul B.

Yer Numarası

HB 201 T67 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

240.

A profile of mathematical logic

Yazar

DeLong, Howard, 1936-

Yer Numarası

QA 9 B37 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

241.

Term logic with choice operator

Yazar

Hermes, Hans.

Yer Numarası

BC 135 H4 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

242.

The logic of comparative social inquiry

Yazar

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

Yer Numarası

H 62 P79 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

243.

An introduction to mathematical logic

Yazar

Robinson, Gerson B., 1909-

Yer Numarası

QA 9 R72 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

244.

Logic and philosophy : a modern introduction

Yazar

Kahane, Howard, 1928-

Yer Numarası

BC 108 K3 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

245.

The logic of explanation in psychoanalysis

Yazar

Sherwood, Michael.

Yer Numarası

BF 323.E8 S5 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

246.

The logic of social inquiry

Yazar

Greer, Scott A.

Yer Numarası

H 61 G73 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

247.

Basic concepts of mathematics and logic

Yazar

Gemignani, Michael C.

Yer Numarası

QA 39 G2846 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

248.

An introduction to modal logic

Yazar

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

Yer Numarası

BC 108 H874 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

249.

The logic of survey analysis

Yazar

Rosenberg, Morris.

Yer Numarası

HN 29 R6 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

250.

An Introduction to many-valued logic

Yazar

Ackermann, Robert John, 1933-

Yer Numarası

QA 9 A5 1967

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

251.

The Logic and rhetoric of exposition

Yazar

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

Yer Numarası

PE 1429 M3

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

252.

Logic and the basis of ethics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

The development of mathematical logic

Yazar

Nidditch, P. H.

Yer Numarası

BC 135 N5 1962

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

254.

The logic of modern physics

Yazar

Brigman, Percy Williams, 1882-

Yer Numarası

QC 6 B68 1960

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

255.

The elements of mathematical logic

Yazar

Rosenbloom, Paul C.

Yer Numarası

BC 135 R7236 1950

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

256.

Logic : the theory of inquiry

Yazar

Dewey, John, 1859-

Yer Numarası

BC 50 D43 1938

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

257.

Logic Pro 8 audio and music production

Yazar

Cousins, Mark. Hepworth-Sawyer, Russ.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Fundamentals of digital logic and microcomputer design

Yazar

Rafiquzzaman, Mohamed.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Logic on the track of social change

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Judgement and the Epistemic Foundation of Logic

Yazar

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

Yer Numarası

ONLINE(335895.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

McGraw-Hill's conquering LSAT logic games

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Logic programming proceedings of the Tenth International Conference on Logic Programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Logic programming proceedings of the 1997 International Symposium

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Handbook of quantum logic and quantum structures quantum logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Inductive logic programming from machine learning to software engineering

Yazar

Bergadano, Francesco, 1963- Gunetti, Daniele.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Logic programming proceedings of the twelfth International Conference on Logic Programming

Yazar

Sterling, Leon.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Logic programming proceedings of the eleventh International Conference on Logic Programming

Yazar

Van Hentenryck, Pascal.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

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

Yazar

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.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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

Yazar

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.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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.

Yazar

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.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

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

Yazar

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