Search Results for Logic

901.

Lies language and logic in the late Middle Ages

Author

Spade, Paul Vincent.

Preferred Shelf Number

BC 34.S11 L54 1988

Format:

Availability

Beytepe Library~2

Available:
Copies:

902.

Microprocessors and programmed logic : solutions manualto even numbered problems

Author

Short, Kenneth L.

Preferred Shelf Number

QA 76.5 S496 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

903.

Introductory statistics for psychology : the logic and the methods

Author

Levine, Gustav.

Preferred Shelf Number

BF 39 L379 1981

Format:

Availability

Beytepe Library~1

Available:
Copies:

904.

Cover image for Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978

Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978

Author

Wright, G.H., Von. ed.

Preferred Shelf Number

BC 51 L58 1980

Format:

Availability

Beytepe Library~1

Available:
Copies:

905.

The logic of Leviathan the moral and political theory of Thomas Hobbes

Author

Gauthier, David P.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

906.

Model theory for model logic : kripke models for modal predicate calculi

Author

Bowen, Kenneth A.

Preferred Shelf Number

QA 9.46 B68 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

907.

Foundations of logico-linquistics : a unified theory of information, language, and logic

Author

Cooper, William S.

Preferred Shelf Number

P 39 C68 1978

Format:

Availability

Beytepe Library~1

Available:
Copies:

908.

Intensional and higher-order modal logic with applications to Montague semantics

Author

Gallin, Daniel.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

909.

Digital logic and switching circuits : operation and analysis

Author

Boyce, Jefferson C.

Preferred Shelf Number

QA 401 B62 1975

Format:

Availability

Beytepe Library~1

Available:
Copies:

910.

Logic design a review of theory and practice

Author

Langdon, Glen G.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

911.

Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.

Author

Martin, Wallace., ed.

Preferred Shelf Number

PN 45 L317 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

912.

An Outline of mathematical logic : fundamental results and notions explained with all details

Author

Grzegorczyk, Andrzej.

Preferred Shelf Number

BC 131 G7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

913.

Cover image for A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation

A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation

Author

Mill, John Stuart, 1806-1873. Robson, J. M., ed.

Preferred Shelf Number

BC 91 M5 1973-74 C.1-2 V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

914.

Experience and judgment : investigations in a genealogy of logic

Author

Husserl, Edmund, 1859-1938.

Preferred Shelf Number

BC 181 H8 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

915.

Deductive logic : an introduction to evaluation techniques and logical theory

Author

Clarke, David S., 1936-

Preferred Shelf Number

BC 71 C53 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

916.

Derivation and counterexample : an introduction to philosophical logic

Author

Lambert, Karel, 1928-

Preferred Shelf Number

BC 51 L35 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

917.

Probabilities, problems, and paradoxes : readings in inductive logic

Author

Luckenbach, Sidney A.

Preferred Shelf Number

BC 91 L83 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

918.

Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authors

Author

Bolzano, Bernard, 1781-1848. George, Rolf., ed.

Preferred Shelf Number

B 2967.B6 W561 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

919.

Community power democratic theory : the logic political analysis

Author

Ricci, David M.

Preferred Shelf Number

JC 330 R53 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

920.

Foundations of analysis, with an introduction to logic and set theory

Author

Clarke, Douglas A., ort. yaz.

Preferred Shelf Number

QA 300 F68 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

921.

Generalization in ethics : an essays in the logic of ethics, with the rudiments of moral philosophy

Author

Singer, Marcus George, 1926-

Preferred Shelf Number

BJ 1011 S55 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

922.

Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966

Author

Yourgrau, Wolfgang, ed. Breck, Allen D., ed.

Preferred Shelf Number

QC 6 P47 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

923.

Historians fallacies : toward a logic of historical thought

Author

Fischer, David Hackett, 1935-

Preferred Shelf Number

D 16 F53 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

924.

The refulation of determinism : an essay in philosophical logic

Author

Ayers, Michael Richard.

Preferred Shelf Number

BJ 1461 A8 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

925.

Logic and algorithms : with applications to the computer and information sciences

Author

Korfhage, Robert R.

Preferred Shelf Number

QA 9 K678 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

926.

The axiomatic method : an introduction to mathematical logic

Author

Lightstone, A. H.

Preferred Shelf Number

QA 248 L53 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

927.

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.

Author

Goodstein, Reuben Louis.

Preferred Shelf Number

QA 241 G6293 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

928.

Knowledge and belief : an introduction to the logic of the two notions

Author

Hintikka, Kaarlo Jaakko Juhani, 1929-

Preferred Shelf Number

B 4691.H43 K6 1962

Format:

Availability

Beytepe Library~1

Available:
Copies:

929.

The structure of science : problems in the logic of scientific explanation

Author

Nagel, Ernest, 1901-

Preferred Shelf Number

Q 175 N22 1961

Format:

Availability

Beytepe Library~2

Available:
Copies:

930.

Meaning and necessity : a study in semantics and model logic

Author

Carnap, Rudolf, 1891-

Preferred Shelf Number

B 840 C3 1956

Format:

Availability

Beytepe Library~1

Available:
Copies:

931.

The logic of Hegel : translated from the Encyclopaedia of the philosophical sciences

Author

Hegel, Georg Wilhelm Friedrich, 1770-1831. Wallace, William, 1844-1897, translator.

Preferred Shelf Number

B2918.E5 W3

Format:

Availability

Beytepe Library~1

Available:
Copies:

932.

Handbook of quantum logic and quantum structures quantum structures.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

933.

Dictionary of logic : as applied in the study of language : concepts, methods, theories

Preferred Shelf Number

REF/BC 9 D48 1981

Format:

Availability

Beytepe Library~1

Available:
Copies:

934.

Warren's abstract machine a tutorial reconstruction

Author

Aït-Kaci, Hassan, 1954-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

935.

The Practice of Prolog

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

936.

Paradoxes

Author

Łukowski, Piotr. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1476-2

Format:

Availability

Online Library~1

Available:
Copies:

937.

Goguen Categories A Categorical Approach to L-fuzzy Relations

Author

Winter, Michael. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

938.

Truth and Falsehood An Inquiry into Generalized Logical Values

Author

Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0907-2

Format:

Availability

Online Library~1

Available:
Copies:

939.

Dual Tableaux: Foundations, Methodology, Case Studies

Author

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

940.

Advanced Łukasiewicz calculus and MV-algebras

Author

Mundici, D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0840-2

Format:

Availability

Online Library~1

Available:
Copies:

941.

Proofs and Computations

Author

Schwichtenberg, Helmut. Wainer, Stanley S..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

942.

Methods of Cut-Elimination

Author

Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0320-9

Format:

Availability

Online Library~1

Available:
Copies:

943.

Natural Deduction, Hybrid Systems and Modal Logics

Author

Indrzejczak, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-8785-0

Format:

Availability

Online Library~1

Available:
Copies:

944.

Philosophy of Syntax Foundational Topics

Author

Talasiewicz, Mieszko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3288-1

Format:

Availability

Online Library~1

Available:
Copies:

945.

Category theory

Author

Awodey, Steve, 1959-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

946.

Logical Foundations of Proof Complexity

Author

Cook, Stephen. Nguyen, Phuong.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

947.

Subsystems of Second Order Arithmetic

Author

Simpson, Stephen G..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

948.

Proof Theory for Fuzzy Logics

Author

Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9409-5

Format:

Availability

Online Library~1

Available:
Copies:

949.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

950.

Constructive Negations and Paraconsistency

Author

Odintsov, Sergei P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

951.

Reasoning Robots The Art and Science of Programming Robotic Agents

Author

Thielscher, Michael. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

952.

A Modern Perspective on Type Theory From its Origins until Today

Author

Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2335-9

Format:

Availability

Online Library~1

Available:
Copies:

953.

Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets

Author

Rodabaugh, Stephen Ernest, ed. Klement, Erich Peter, ed.

Preferred Shelf Number

QA 248.5 T67 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

954.

Triangular norms

Author

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

Preferred Shelf Number

QA 329 K54 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

955.

Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics

Author

Goldblatt, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

956.

Kurt Gödel Essays for his Centennial

Author

Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

957.

Visual Reasoning with Diagrams

Author

Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332637.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0600-8

Format:

Availability

Online Library~1

Available:
Copies:

958.

Towards a General Theory of Classifications

Author

Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332639.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0609-1

Format:

Availability

Online Library~1

Available:
Copies:

959.

Around and Beyond the Square of Opposition

Author

Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0379-3

Format:

Availability

Online Library~1

Available:
Copies:

960.

A course in model theory

Author

Tent, Katrin, 1963- Ziegler, Martin.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

961.

Simple Theories and Hyperimaginaries

Author

Casanovas, Enrique.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

962.

Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II

Author

Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

963.

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Author

Kennedy, Juliette. Kossak, Roman.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

964.

A Framework for Priority Arguments

Author

Lerman, Manuel.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

965.

Completeness Theory for Propositional Logics

Author

Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8518-7

Format:

Availability

Online Library~1

Available:
Copies:

966.

Institution-independent Model Theory

Author

Diaconescu, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Availability

Online Library~1

Available:
Copies:

967.

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

Author

Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

968.

Stable Domination and Independence in Algebraically Closed Valued Fields

Author

Haskell, Deirdre. Hrushovski, Ehud. Macpherson, Dugald.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

969.

The reach of abduction insight and trial

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

970.

Agenda relevance a study in formal pragmatics

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

971.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68538-5

Format:

Availability

Online Library~1

Available:
Copies:

972.

Structural Decision Diagrams in Digital Test Theory and Applications

Author

Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-44734-1

Format:

Availability

Online Library~1

Available:
Copies:

973.

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

Author

Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48278-6

Format:

Availability

Online Library~1

Available:
Copies:

974.

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Author

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55608-1

Format:

Availability

Online Library~1

Available:
Copies:

975.

Algorithms for Constructing Computably Enumerable Sets

Author

Supowit, Kenneth J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26904-2

Format:

Availability

Online Library~1

Available:
Copies:

976.

Frank Ankersmit's lost historical cause a journey from language to experience

Author

Icke, Peter P.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

977.

A midwestern mosaic immigration and political socialization in rural America

Author

Lay, J. Celeste. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

978.

Civic talk: peers, politics, and the future of democracy

Author

Klofstad, Casey A.

Preferred Shelf Number

JA85.2.U6 K56 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

979.

Civic talk peers, politics, and the future of democracy

Author

Klofstad, Casey A. (Casey Andrew), 1976- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

980.

Cleavage politics and the populist right the new cultural conflict in Western Europe

Author

Bornschier, Simon. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

981.

Francis Bacon : duyumsamanın mantığı

Author

Deleuze, Gilles. Bacon, Francis. Batukan, Can. Erbay, Ece.

Preferred Shelf Number

ND497.B16 D413 2009

Format:

Availability

Beytepe Library~2

Available:
Copies:

982.

Anaphora and Type Logical Grammar

Author

JÄger, Gerhard. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3905-0

Format:

Availability

Online Library~1

Available:
Copies:

983.

Coherent systems

Author

Schlechta, Karl.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

984.

Pluralism against the demand for consensus

Author

Rescher, Nicholas.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

985.

Without good reason the rationality debate in philosophy and cognitive science

Author

Stein, Edward, 1965-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

986.

A model of the universe space-time, probability, and decision

Author

McCall, Storrs.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

987.

Truth, fiction, and literature a philosophical perspective

Author

Lamarque, Peter. Olsen, Stein Haugom, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

988.

Sensory qualities

Author

Clark, Austen.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

989.

Concurrent constraint programming

Author

Saraswat, Vijay.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

990.

Metaphor its cognitive force and linguistic structure

Author

Kittay, Eva Feder.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

991.

Quality and concept

Author

Bealer, George.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

992.

Divine commands and moral requirements

Author

Quinn, Philip L.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

993.

The probable and the provable

Author

Cohen, L. Jonathan (Laurence Jonathan)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

994.

Simplicity

Author

Sober, Elliott.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

995.

Experiences an inquiry into some ambiguities

Author

Hinton, John, 1926-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

996.

The Realism-Antirealism Debate in the Age of Alternative Logics

Author

Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1923-1

Format:

Availability

Online Library~1

Available:
Copies:

997.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

998.

Special Sciences and the Unity of Science

Author

Pombo, Olga. editor. Torres, Juan Manuel. editor. Symons, John. editor. Rahman, Shahid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

999.

Approaches to Legal Rationality

Author

Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9588-6

Format:

Availability

Online Library~1

Available:
Copies:

1000.

Belief Revision meets Philosophy of Science

Author

Olsson, Erik J. editor. Enqvist, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1001.

Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox

Author

Rahman, Shahid. editor. Tulenheimo, Tero. editor. Genot, Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1002.

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes

Author

Dutilh Novaes, Catarina. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5853-0

Format:

Availability

Online Library~1

Available:
Copies:

1003.

The Nature of Truth An updated approach to the meaning of truth ascriptions

Author

Frapolli, Maria Jose. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335763.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4464-6

Format:

Availability

Online Library~1

Available:
Copies:

1004.

The Argument of Mathematics

Author

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336263.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1005.

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Author

Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4435-6

Format:

Availability

Online Library~1

Available:
Copies:

1006.

Otto Neurath and the Unity of Science

Author

Symons, John. editor. Pombo, Olga. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1007.

Vagueness: A Guide

Author

Ronzitti, Giuseppina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0375-9

Format:

Availability

Online Library~1

Available:
Copies:

1008.

Treatise on Intuitionistic Type Theory

Author

Granström, Johan Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1009.

The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy

Author

Lapointe, Sandra. editor. Wolénski, Jan. editor. Marion, Mathieu. editor. Miskiewicz, Wioletta. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-2401-5

Format:

Availability

Online Library~1

Available:
Copies:

1010.

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

Author

Marquis, Jean-Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9384-5

Format:

Availability

Online Library~1

Available:
Copies:

1011.

Leibniz: What Kind of Rationalist?

Author

Dascal, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1012.

Information and Knowledge A Constructive Type-theoretical Approach

Author

Primiero, Giuseppe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1013.

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

Author

Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1014.

The Influence of Genetics on Contemporary Thinking

Author

Fagot-Largeault, Anne. editor. Rahman, Shahid. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1015.

Cover image for Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Author

Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5034-8

Format:

Availability

Online Library~1

Available:
Copies:

1016.

Induction, Algorithmic Learning Theory, and Philosophy

Author

Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1017.

Nature's Principles

Author

Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1018.

Nature's principles

Author

Faye, Jan.

Preferred Shelf Number

BD581 .B35 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

1019.

Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics

Author

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1020.

Problems in the philosophy of science

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1021.

Formal systems and recursive functions : proceeding

Author

Logic Colloquium (8th : 1963 : Oxford).

Preferred Shelf Number

BC 135 L8292 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

1022.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1023.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1024.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1025.

Olasılık ve tümevarım mantığına giriş

Author

Hacking, Ian. Özdabak, İrfan.

Preferred Shelf Number

BC141 H33 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

1026.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1027.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1028.

Many-dimensional modal logics theory and applications

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1029.

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1030.

Admissibility of logical inference rules

Author

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1031.

Logical frameworks for truth and abstraction an axiomatic study

Author

Cantini, Andrea.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1032.

Intentional mathematics

Author

Shapiro, Stewart, 1951-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1033.

Foundational studies selected works. Volume II

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1034.

Foundational studies selected works. Volume I

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1035.

Algebra of proofs

Author

Szabo, M. E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1036.

An algebraic approach to non-classical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1037.

Contributions to non-standard analysis

Author

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1038.

Constructive order types

Author

Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1039.

The collected papers of Gerhard Gentzen

Author

Szabo, M. E. Gentzen, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1040.

Non-standard analysis

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1041.

Formal systems and recursive functions

Author

Crossley, John N. Dummett, Michael, 1925-2011.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1042.

Languages with expressions of infinite length

Author

Karp, Carol, 1926-1972.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1043.

Aristotle's modal syllogisms

Author

McCall, Storrs.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1044.

The logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1045.

The axiomatic method

Author

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1046.

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1047.

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1048.

Mathematical interpretation of formal systems

Author

Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1049.

Solvable cases of the decision problem

Author

Ackermann, W. (Wilhelm), 1896-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1050.

Nomological statements and admissible operations

Author

Reichenbach, Hans, 1891-1953.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1051.

Undecidable theories

Author

Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1052.

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1053.

Many-values logics

Author

Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1054.

Cylindric algebras

Author

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

1055.

The foundations of mathematics : and other logical essays

Author

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

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

1056.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1057.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1058.

Formal semantics in modern type theories

Author

Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.

Preferred Shelf Number

QA76.5913

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252

Format:

Availability

Online Library~1

Available:
Copies:

1059.

Application of graph rewriting to natural language processing

Author

Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.

Preferred Shelf Number

P98

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589

Format:

Availability

Online Library~1

Available:
Copies:

1060.

Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future

Author

Correia, Fabrice. editor. Iacona, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335903.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1061.

Existence as a Real Property The Ontology of Meinongianism

Author

Berto, Francesco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335738.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4207-9

Format:

Availability

Online Library~1

Available:
Copies:

1062.

Debate Dynamics: How Controversy Improves Our Beliefs

Author

Betz, Gregor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335787.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1063.

Functions: selection and mechanisms

Author

Huneman, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335942.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1064.

Bayesian Argumentation The practical side of probability

Author

Zenker, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335956.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5357-0

Format:

Availability

Online Library~1

Available:
Copies:

1065.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

1066.

Probabilistic Logics and Probabilistic Networks

Author

Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0008-6

Format:

Availability

Online Library~1

Available:
Copies:

1067.

Dynamic Formal Epistemology

Author

Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0074-1

Format:

Availability

Online Library~1

Available:
Copies:

1068.

Science Studies as Naturalized Philosophy

Author

Collin, Finn. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9741-5

Format:

Availability

Online Library~1

Available:
Copies:

1069.

Reasoning about Preference Dynamics

Author

Liu, Fenrong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1070.

Probabilities, Causes and Propensities in Physics

Author

Suárez, Mauricio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9904-5

Format:

Availability

Online Library~1

Available:
Copies:

1071.

Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright

Author

De Pellegrin, Enzo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9909-0

Format:

Availability

Online Library~1

Available:
Copies:

1072.

Explaining Games The Epistemic Programme in Game Theory

Author

de Bruin, Boudewijn. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9906-9

Format:

Availability

Online Library~1

Available:
Copies:

1073.

Substantive Perspectivism An Essay on Philosophical Concern with Truth

Author

Mou, Bo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-2623-1

Format:

Availability

Online Library~1

Available:
Copies:

1074.

Degrees of Belief

Author

Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9198-8

Format:

Availability

Online Library~1

Available:
Copies:

1075.

Logicism, Intuitionism, and Formalism What has Become of Them?

Author

Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8926-8

Format:

Availability

Online Library~1

Available:
Copies:

1076.

Nominalism and Its Aftermath: The Philosophy of Nelson Goodman

Author

Shottenkirk, Dena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1077.

Philosophical Lectures on Probability

Author

Finetti, Bruno de. author. Galavotti, Maria Carla. author. Hosni, Hykel. author. Mura, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1078.

Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics

Author

Stjernfelt, Frederik. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5652-9

Format:

Availability

Online Library~1

Available:
Copies:

1079.

Formal Ontology and Conceptual Realism

Author

Cocchiarella, Nino B. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6204-9

Format:

Availability

Online Library~1

Available:
Copies:

1080.

A Graph-Theoretic Approach to Enterprise Network Dynamics

Author

Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4519-9

Format:

Availability

Online Library~1

Available:
Copies:

1081.

Relation algebras

Author

Maddux, R. D. (Roger D.), 1948-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1082.

Lectures on the Curry-Howard isomorphism

Author

Sørensen, Morten Heine. Urzyczyn, Paweł.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1083.

CAMEL intelligent networks for the GSM, GPSR and UMTS network

Author

Noldus, Rogier. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/0470028483
http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471

Format:

Availability

Online Library~1

Available:
Copies:

1084.

Intuition and the Axiomatic Method

Author

Carson, Emily. Huber, Renate. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1085.

A logical Approach to Philosophy Essays in Honour of Graham Solomon

Author

Devidi, David. Kenyon, Tim. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1086.

Visualization, Explanation and Reasoning Styles in Mathematics

Author

Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1087.

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski

Author

Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1088.

The Dynamics of Thought

Author

Gärdenfors, Peter. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3399-0

Format:

Availability

Online Library~1

Available:
Copies:

1089.

Theoretical Knowledge

Author

Stepin, Vyacheslav. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3046-0

Format:

Availability

Online Library~1

Available:
Copies:

1090.

Relation algebras by games

Author

Hirsch, R. (Robin) Hodkinson, Ian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1091.

Truth, fiction, and literature : a philosophical perspective

Author

Lamarque, Peter.

Preferred Shelf Number

PN45 L316 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

1092.

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1093.

Introduction to model theory

Author

Rothmaler, Philipp.

Preferred Shelf Number

QA9.7 .R671 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

1094.

Computable structures and the hyperarithmetical hierarchy

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1095.

Handbook of computability theory

Author

Griffor, Edward R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1096.

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1097.

Handbook of proof theory

Author

Buss, Samuel R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1098.

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1099.

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1100.

Hausdorff gaps and limits

Author

Frankiewicz, Ryszard. Zbierski, Paweł.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1101.

Selected papers on Automath

Author

Nederpelt, R. P. (Rob P.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1102.

Recursive functionals

Author

Sanchis, Luis E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1103.

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1104.

Model theory

Author

Chang, Chen Chung, 1927- Keisler, H. Jerome.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1105.

Classification theory and the number of non-isomorphic models

Author

Shelah, Saharon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1106.

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1107.

Foundations of infinitesimal stochastic analysis

Author

Stroyan, K. D. Bayod, José Manuel.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1108.

Equivalents of the axiom of choice, II

Author

Rubin, Herman. Rubin, Jean E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1109.

Cylindric algebras. Part II

Author

Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1110.

Harvey Friedman's research on the foundations of mathematics

Author

Friedman, Harvey, 1948- Harrington, L. A.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1111.

Combinatorial set theory partition relations for cardinals

Author

Erdős, Paul, 1913-1996.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1112.

The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

Author

L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1113.

Fundamentals of generalized recursion theory

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1114.

The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Author

Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1115.

Set theory an introduction to independence proofs

Author

Kunen, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1116.

Word problems II the Oxford book

Author

Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1117.

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

Author

Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1118.

Combinatorial set theory

Author

Williams, Neil H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1119.

Sets and classes on the work by Paul Bernays

Author

Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1120.

Set theory with an introduction to descriptive set theory

Author

Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1121.

Large infinitary languages model theory

Author

Dickmann, M. A., 1940-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1122.

Proof theory

Author

Takeuti, Gaisi, 1926-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1123.

Generalized recursion theory Proceedings of the 1972 Oslo symposium

Author

Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1124.

Set theory an introduction to large cardinals

Author

Drake, F. R. (Frank Robert)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1125.

Elementary induction on abstract structures

Author

Moschovakis, Yiannis N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1126.

Set theory : an introduction to large cardinals

Author

Drake, Frank R.

Preferred Shelf Number

QA 248 D7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

1127.

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

1128.

Foundations of set theory

Author

Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1129.

Word problems decision problems and the Burnside problem in group theory

Author

Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1130.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1131.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

1132.

Word problems : decision problems and the burnside problem in group theory

Author

Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.

Preferred Shelf Number

QA 171 W85 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

1133.

The theory of semisets

Author

Vopěnka, Petr. Hájek, Petr.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1134.

The metamathematics of algebraic systems, collected papers: 1936-1967

Author

Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1135.

Constructible sets with applications

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1136.

Set theory

Author

Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1137.

Problems in the philosophy of mathematics

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Bedford College. British Society for the Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1138.

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1139.

A deductive theory of space and time

Author

Basri, Saul A.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1140.

Introduction to the theory of finite automata

Author

Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1141.

The foundations of intuitionistic mathematics

Author

Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1142.

A transfinite type theory with type variables

Author

Andrews, P. B. (Peter Bruce), 1937-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1143.

Equivalents of the axiom of choice

Author

Rubin, Herman. Rubin, Jean E., author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1144.

Introduction to model theory and to the metamathematics of algebra

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1145.

Computer programming and formal systems

Author

Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1146.

Recursive analysis

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1147.

Lincos design of a language for cosmic intercourse

Author

Freudenthal, Hans, 1905-1990.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1148.

A study in the philosophy of science

Author

Beth, Evert Willem.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1149.

Toward a systematic pragmatics

Author

Martin, R. M. (Richard Milton), 1916-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1150.

Computer programming and formal systems

Author

Braffort, P. (Paul) Hirschberg, D. (David)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1151.

Foundations of set theory

Author

Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1152.

Axiomatic set theory

Author

Bernays, Paul, 1888-1977.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1153.

Complete theories

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1154.

Abstract set theory

Author

Fraenkel, Abraham Adolf, 1891-1965.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1155.

Outlines of a formalist philosophy of mathematics

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1156.

On the metamathematics of algebra

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1157.

CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.

Author

Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.

Preferred Shelf Number

QA 76.9.M35 W67 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

1158.

Methods of inference from animal to human behaviour

Author

Conference on the logic of I'nference from animal to human behavior : (1973 : Murten, Switzerland) Cranach, Mario von, ed.

Preferred Shelf Number

BF 671 C63 1976

Format:

Availability

Beytepe Library~1

Available:
Copies:

1159.

Children of the corn genesis Mısır çocukları yaradılış

Author

Mikkelsen, Monika Ermando Di Febo-Orsini Mangano, Philip Lehhman, Alexandre Soisson, Joel.

Preferred Shelf Number

PN1995.9.H6 C45 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

1160.

Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole

Author

Snyder, Zack. Nalbandian, Zareh. Orloff, John. Stern, Emil. Mirren, Helen. seslendirme

Preferred Shelf Number

PN1997.5 B39 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

1161.

Happy feet Neşeli ayaklar

Author

Miller, Bill. Miller, George, 1945 Mar. 3- Mitchell, Doug. Coleman, Warren. Collee, John.

Preferred Shelf Number

PN1997.5 H37 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

1162.

Fuzzy impulsive dynamic equations on time scales

Author

Georgiev, Svetlin, author. Zennir, Khaled, author.

Preferred Shelf Number

QA614.8

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003655367
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1163.

Nonlinear biomedical signal processing

Author

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

Preferred Shelf Number

R 857.S47 N66 2000- V.2

Format:

Availability

Beytepe Library~3

Available:
Copies:

1164.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

1165.

İslam mantık tarihi ve Farabi mantığı

Author

Keklik, Nihat.

Preferred Shelf Number

BC 34 K4 1969-70

Format:

Availability

Beytepe Library~1

Available:
Copies:

1166.

Communication : a philosophical study of language

Author

Britton, Karl, 1909-

Preferred Shelf Number

P 105 B75 1939 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1167.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1168.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1169.

The handbook of translanguaging

Author

Li, Wei, 1961 August 11- editor. Phyak, Prem, 1980- editor. Lee, Jerry Won, editor. García, Ofelia, editor.

Preferred Shelf Number

P115.35 .H36 2026

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394227167

Format:

Availability

Online Library~1

Available:
Copies:

1170.

A companion to epistemology. Volumes 1 & 2

Author

Ludwig Sylvan, Kurt, 1986- editor. Dancy, Jonathan, editor. Sosa, Ernest, editor. Steup, Matthias, editor.

Preferred Shelf Number

BD161 .C637 2026

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119757832

Format:

Availability

Online Library~1

Available:
Copies:

1171.

Security technologies for law enforcement agencies

Author

Duraklar, Kazım author.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003597445
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1172.

Critique and affirmation in Erich Fromm : humanistic politics and the psychoanalytic clinic

Author

Romanetto, Matheus, author.

Preferred Shelf Number

BF175.4 .C68

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032708560
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1173.

The wrong of law : metaphysics, logics, and law's claim of right

Author

Kerruish, Valerie, 1943- author. Petersen, Uwe, 1948- editor.

Preferred Shelf Number

K212

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003520535
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1174.

Purely formal legal theory : deontic networks

Author

Quirico, Ottavio, author.

Preferred Shelf Number

K231

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003228318
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1175.

The psychology of false beliefs : collective delusions and conspiracy theories

Author

Forgas, Joseph P., editor.

Preferred Shelf Number

BF773

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003509257
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1176.

The ontology of relations

Author

Paolini Paoletti, Michele, author.

Preferred Shelf Number

BD236

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003363651
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1177.

AI-Enabled Threat Intelligence and Cyber Risk Assessment

Author

Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1178.

Mastering Grid Computing : Scheduling and Resource Management

Author

Ankita, editor Sahana, Sudip Kumar, editor.

Preferred Shelf Number

HD38.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003598404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1179.

Soft computing and machine learning : a fuzzy and neutrosophic view of reality

Author

Wajid, Mohd, editor. Zafar, Aasim, editor. Wajid, Mohammad Saif, editor. Khanday, Akib Mohi Ud Din, editor. Bhattacharyya, Pronaya, editor.

Preferred Shelf Number

Q325.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003606055
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1180.

Computational Intelligence for Analysis of Trends in Industry 4.0 and 5.0

Author

Awotunde, Joseph Bamidele editor Muduli, Kamalakanta, 1977- editor. Brahma, Biswajit. editor

Preferred Shelf Number

Q342

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003533023
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

1181.

Data visualization in R and Python

Author

Cremonini, Marco, author.

Preferred Shelf Number

QA76.9 .D3 C74 2025

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394289516

Format:

Availability

Online Library~1

Available:
Copies:

1182.

Mathematics for digital science. Volume 1, Fundamentals

Author

Cochard, Gerard-Michel, author Hifi, Mhand, author

Preferred Shelf Number

QA76.9 .M35

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050

Format:

Availability

Online Library~1

Available:
Copies:

1183.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73709-1

Format:

Availability

Online Library~1

Available:
Copies:

1184.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Author

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74234-7

Format:

Availability

Online Library~1

Available:
Copies:

1185.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

1186.

R-Calculus, VI: Finite Injury Priority Method

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5830-2

Format:

Availability

Online Library~1

Available:
Copies:

1187.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75390-9

Format:

Availability

Online Library~1

Available:
Copies:

1188.

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66425-0

Format:

Availability

Online Library~1

Available:
Copies:

1189.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75775-4

Format:

Availability

Online Library~1

Available:
Copies:

1190.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75783-9

Format:

Availability

Online Library~1

Available:
Copies:

1191.

Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73716-9

Format:

Availability

Online Library~1

Available:
Copies:

1192.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82703-7

Format:

Availability

Online Library~1

Available:
Copies:

1193.

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Author

Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6957-5

Format:

Availability

Online Library~1

Available:
Copies:

1194.

Intelligent Computing and Networking Proceedings of IC-ICN 2024

Author

Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8631-2

Format:

Availability

Online Library~1

Available:
Copies:

1195.

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

Author

He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2292-4

Format:

Availability

Online Library~1

Available:
Copies:

1196.

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification

Author

Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-83093-8

Format:

Availability

Online Library~1

Available:
Copies:

1197.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-84924-4

Format:

Availability

Online Library~1

Available:
Copies:

1198.

Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers

Author

Shen, Qikun. author. Xu, Dezhi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1773-9

Format:

Availability

Online Library~1

Available:
Copies:

1199.

Theory of Computation Automata, Formal Languages, Computation and Complexity

Author

Chowdhary, K.R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6234-7

Format:

Availability

Online Library~1

Available:
Copies:

1200.

Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4656-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}