Search Results for Logic, symbolic and mathematical.

1.

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:

2.

Mathematical logic : A course with exercises

Author

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

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

3.

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:

4.

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:

5.

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:

6.

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

Author

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

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

An Introduction to the Technique of Formative Processes in Set Theory

Author

Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74778-1

Format:

Availability

Online Library~1

Available:
Copies:

8.

Computational Artifacts Towards a Philosophy of Computer Science

Author

Turner, Raymond. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55565-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Handbook of Model Checking

Author

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10575-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

Author

Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75049-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Logical Foundations of Cyber-Physical Systems

Author

Platzer, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63588-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Author

Schlechta, Karl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89650-2

Format:

Availability

Online Library~1

Available:
Copies:

13.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Author

Schlechta, Karl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Logics for Computer Science Classical and Non-Classical

Author

Wasilewska, Anita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92591-2

Format:

Availability

Online Library~1

Available:
Copies:

15.

A concise introduction to pure mathematics

Author

Liebeck, M. W. (Martin W.), 1954-

Preferred Shelf Number

QA9 L478 2016

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Logic and discrete mathematics : a concise introduction

Author

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

Preferred Shelf Number

QA9 C7423 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Formal logic, or, The calculus of inference, necessary and probable

Author

De Morgan, Augustus, 1806-1871, author.

Preferred Shelf Number

BC135 D4 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Commonsense reasoning an event calculus-based approach

Author

Mueller, Erik T., author.

Preferred Shelf Number

ONLINE(355437.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

A transition to mathematics with proofs

Author

Cullinane, Michael J.

Preferred Shelf Number

QA9 C84 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

An introduction to Gödel's theorems

Author

Smith, Peter, 1944- author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Discrete mathematics and its applications

Author

Rosen, Kenneth H. Krithivasan, Kamala.

Preferred Shelf Number

QA39.3 R674 2013

Format:

Availability

Beytepe Library~2

Available:
Copies:

24.

Logicism and its philosophical legacy

Author

Demopoulos, William.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

A Course on Mathematical Logic

Author

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

Preferred Shelf Number

ONLINE(331853.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

An Invitation to Abstract Mathematics

Author

Bajnok, Béla. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332077.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

Author

Hinkis, Arie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332605.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

Author

Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332859.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01333-6

Format:

Availability

Online Library~1

Available:
Copies:

29.

The Real Numbers An Introduction to Set Theory and Analysis

Author

Stillwell, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332876.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01577-4

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333036.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70856-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cylindric-like Algebras and Algebraic Logic

Author

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

Preferred Shelf Number

ONLINE(333922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Author

Hasegawa, Masahito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334702.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38946-7

Format:

Availability

Online Library~1

Available:
Copies:

34.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Author

Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335941.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5301-3

Format:

Availability

Online Library~1

Available:
Copies:

36.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Author

Tapp, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336968.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337115.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34720-7

Format:

Availability

Online Library~1

Available:
Copies:

38.

Önermeler mantığı

Author

Nesin, Ali.

Preferred Shelf Number

QA270 N476 2013

Format:

Availability

Beytepe Library~3

Available:
Copies:

39.

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

Author

Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330942.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4282-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

The Mathematics of Paul Erdős II

Author

Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332243.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7254-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

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:

42.

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:

43.

After Gödel : Platonism and rationalism in mathematics and logic

Author

Tieszen, Richard L., author.

Preferred Shelf Number

QA9 T54 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

Belief Revision in Non-Classical Logics

Author

Ribeiro, Márcio Moretto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330925.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4186-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Logic and Structure

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331010.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331026.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4616-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

A Logical Introduction to Proof

Author

Cunningham, Daniel W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331358.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3631-7

Format:

Availability

Online Library~1

Available:
Copies:

48.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Author

Pudlák, Pavel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332681.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00119-7

Format:

Availability

Online Library~1

Available:
Copies:

49.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Availability

Online Library~1

Available:
Copies:

50.

Stochastic Calculus with Infinitesimals

Author

Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333673.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33149-7

Format:

Availability

Online Library~1

Available:
Copies:

51.

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

Author

Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334018.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Reactive Kripke Semantics

Author

Gabbay, Dov M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335100.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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:

57.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Author

Zeidler, Eberhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337476.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00297-8

Format:

Availability

Online Library~1

Available:
Copies:

59.

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338283.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Availability

Online Library~1

Available:
Copies:

60.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

61.

Foundations of Algebraic Specification and Formal Software Development

Author

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Sparsity Graphs, Structures, and Algorithms

Author

Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27875-4

Format:

Availability

Online Library~1

Available:
Copies:

63.

On Intuitionistic Fuzzy Sets Theory

Author

Atanassov, Krassimir T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

The Complexity of Valued Constraint Satisfaction Problems

Author

Živný, Stanislav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

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:

66.

Combinatorial Set Theory With a Gentle Introduction to Forcing

Author

Halbeisen, Lorenz J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2173-2

Format:

Availability

Online Library~1

Available:
Copies:

67.

Mathematical Logic for Computer Science

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

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:

69.

Mathematical Olympiad Treasures

Author

Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8253-8

Format:

Availability

Online Library~1

Available:
Copies:

70.

Excursions in the History of Mathematics

Author

Kleiner, Israel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8268-2

Format:

Availability

Online Library~1

Available:
Copies:

71.

A Beginner's Guide to Discrete Mathematics

Author

Wallis, W.D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

The Mathematical Experience, Study Edition

Author

Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8295-8

Format:

Availability

Online Library~1

Available:
Copies:

73.

A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences

Author

Wallis, W.D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8319-1

Format:

Availability

Online Library~1

Available:
Copies:

74.

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Author

Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4042-0

Format:

Availability

Online Library~1

Available:
Copies:

75.

Introduction to Mathematical Structures and Proofs

Author

Gerstein, Larry J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4265-3

Format:

Availability

Online Library~1

Available:
Copies:

76.

Teoria algebrica dei meccanismi automatici

Author

Righi, R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10932-4

Format:

Availability

Online Library~1

Available:
Copies:

77.

Frege's notations what they are and how they mean

Author

Landini, Gregory. Palgrave Connect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Mathematics of Discrete Structures for Computer Science

Author

Pace, Gordon J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Author

Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

Author

Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Non solo calcoli Domande e risposte sui perché della matematica

Author

Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2610-0

Format:

Availability

Online Library~1

Available:
Copies:

83.

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:

84.

Cover image for Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Author

Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Author

Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic

Author

Baltas, Aristeidēs. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

87.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Logic demystified

Author

Boutelle, Anthony. Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

89.

Recursion Theory and Computational Complexity

Author

Lolli, G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

Author

Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11682-7

Format:

Availability

Online Library~1

Available:
Copies:

91.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Author

Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Author

Décaillot, Anne-Marie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14869-9

Format:

Availability

Online Library~1

Available:
Copies:

93.

Conditionals and Modularity in General Logics

Author

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Hyperfinite Dirichlet Forms and Stochastic Processes

Author

Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

Author

Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

From Objects to Diagrams for Ranges of Functors

Author

Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

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:

99.

Foundational Theories of Classical and Constructive Mathematics

Author

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Games, Norms and Reasons Logic at the Crossroads

Author

van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

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:

102.

Strict Finitism and the Logic of Mathematical Applications

Author

Ye, Feng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

The Selected Correspondence of L.E.J. Brouwer

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-537-8

Format:

Availability

Online Library~1

Available:
Copies:

104.

Reading, Writing, and Proving A Closer Look at Mathematics

Author

Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition

Author

Linsky, Bernard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

106.

The Proof is in the Pudding The Changing Nature of Mathematical Proof

Author

Krantz, Steven G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

Author

Soifer, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Proofs and Fundamentals A First Course in Abstract Mathematics

Author

Bloch, Ethan D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Model Theory and Applications

Author

Mangani, P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Aspects of Mathematical Logic

Author

Casari, E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Computational logic and human thinking how to be artificially intelligent

Author

Kowalski, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Author

Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24130-7

Format:

Availability

Online Library~1

Available:
Copies:

113.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2560-7

Format:

Availability

Online Library~1

Available:
Copies:

114.

Un mondo di idee La matematica ovunque

Author

Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1744-3

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Author

Skof, Fulvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1836-5

Format:

Availability

Online Library~1

Available:
Copies:

116.

Logica: Metodo Breve

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1884-6

Format:

Availability

Online Library~1

Available:
Copies:

117.

Hybrid Logic and its Proof-Theory

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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:

119.

Proof, Computation and Agency Logic at the Crossroads

Author

van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

Author

DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

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:

122.

Logical Dynamics of Information and Interaction

Author

van Benthem, Johan.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

123.

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:

124.

McGraw-Hill's LSAT

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

125.

McGraw-Hill's conquering LSAT logic games

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Author

Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Apartness and Uniformity A Constructive Development

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22415-7

Format:

Availability

Online Library~1

Available:
Copies:

128.

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

Author

Kaiser, Łukasz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Author

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23211-4

Format:

Availability

Online Library~1

Available:
Copies:

130.

An introduction to practical formal methods using temporal logic

Author

Fisher, Michael, 1962-

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882

Format:

Availability

Online Library~1

Available:
Copies:

131.

After Gödel Platonism and rationalism in mathematics and logic

Author

Tieszen, Richard L.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

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:

133.

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Author

Hopkins, Burt C. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

134.

Handbook of logic and language

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Roads to infinity the mathematics of truth and proof

Author

Stillwell, John.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79384-7

Format:

Availability

Online Library~1

Available:
Copies:

137.

Logical Tools for Handling Change in Agent-Based Systems

Author

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Banach Spaces and Descriptive Set Theory: Selected Topics

Author

Dodos, Pandelis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Logic and Philosophy of Mathematics in the Early Husserl

Author

Centrone, Stefania. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

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:

141.

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

Author

Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68361-4

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cardinal Invariants on Boolean Algebras

Author

Monk, J. Donald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0334-8

Format:

Availability

Online Library~1

Available:
Copies:

143.

A Framework for Priority Arguments

Author

Lerman, Manuel.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

144.

Logic Colloquium 2007

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

145.

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:

146.

Handbook of Set Theory

Author

Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

A Course in Mathematical Logic for Mathematicians

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

The P=NP Question and Gödel’s Lost Letter

Author

Lipton, Richard J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cognitive Reasoning A Formal Approach

Author

Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Mathematical reasoning patterns, problems, conjectures, and proofs

Author

Nickerson, Raymond S.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

153.

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

154.

Propositions, functions, and analysis selected essays on Russell's philosophy

Author

Hylton, Peter.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Mathematische Logik

Author

Ziegler, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0652-3

Format:

Availability

Online Library~1

Available:
Copies:

156.

Mathematical Logic Foundations for Information Science

Author

Li, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Truth through proof a formalist foundation for mathematics

Author

Weir, Alan.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Teaching mathematical reasoning in secondary school classrooms

Author

Brodie, Karin. Coetzee, Kurt.

Preferred Shelf Number

QA8.7 B76 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

159.

Introduction to mathematics of satisfiability

Author

Marek, V. W. (V. Wiktor), 1943-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Logical labyrinths

Author

Smullyan, Raymond M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

Author

Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85198-1

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Logische Grundlagen der Mathematik

Author

Schindler, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95932-8

Format:

Availability

Online Library~1

Available:
Copies:

164.

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

Author

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Author

Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Author

He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04893-7

Format:

Availability

Online Library~1

Available:
Copies:

167.

Introduction to Boolean Algebras

Author

Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

A Missing Link in Cybernetics Logic and Continuity

Author

Andrew, Alex M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Logic and Integer Programming

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Mathematical Olympiad Challenges

Author

Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Games: Unifying Logic, Language, and Philosophy

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

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:

173.

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:

174.

Logic Colloquium 2006

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

175.

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

Author

Soifer, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Generalized Measure Theory

Author

Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-76852-6

Format:

Availability

Online Library~1

Available:
Copies:

177.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Author

Solojentsev, Evgueni D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

Author

Constanda, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-539-0

Format:

Availability

Online Library~1

Available:
Copies:

179.

Proof Theory The First Step into Impredicativity

Author

Pohlers, Wolfram. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69319-2

Format:

Availability

Online Library~1

Available:
Copies:

180.

Handbook of Weighted Automata

Author

Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Teaching and learning proof across the grades a K-16 perspective

Author

Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

182.

Games, puzzles, and computation

Author

Hearn, Robert A. Demaine, Erik D., 1981-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Algorithmic Composition Paradigms of Automated Music Generation

Author

Nierhaus, Gerhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-75540-2

Format:

Availability

Online Library~1

Available:
Copies:

184.

Ultimate Explanations of the Universe

Author

Heller, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02103-9

Format:

Availability

Online Library~1

Available:
Copies:

185.

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Author

Curien, Pierre-Louis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02273-9

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Author

Treinen, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02348-4

Format:

Availability

Online Library~1

Available:
Copies:

187.

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

Author

Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Author

Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03429-9

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Author

Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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:

191.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

Author

Hausdorff, Felix. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Petri-Netze

Author

Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76971-2

Format:

Availability

Online Library~1

Available:
Copies:

194.

Field Arithmetic

Author

Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77270-5

Format:

Availability

Online Library~1

Available:
Copies:

195.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79376-2

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Author

Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79719-7

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Author

Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Guida alla teoria degli insiemi

Author

Lolli, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-0769-7

Format:

Availability

Online Library~1

Available:
Copies:

199.

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

Author

Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-0784-0

Format:

Availability

Online Library~1

Available:
Copies:

200.

New Computational Paradigms Changing Conceptions of What is Computable

Author

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

A Course on Mathematical Logic

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Combinatorics and Graph Theory

Author

Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-79711-3

Format:

Availability

Online Library~1

Available:
Copies:

203.

Logic for Computer Scientists

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Discrete Thoughts Essays on Mathematics, Science and Philosophy

Author

Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Indiscrete Thoughts

Author

Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

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:

207.

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:

208.

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:

209.

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:

210.

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

Author

Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Theoretische Informatik Eine umfassende Einführung

Author

Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76320-8

Format:

Availability

Online Library~1

Available:
Copies:

212.

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:

213.

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:

214.

New essays on Tarski and philosophy

Author

Patterson, Douglas.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Mathematical logic

Author

Tourlakis, George J.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Algorithms in Invariant Theory

Author

Sturmfels, Bernd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-77417-5

Format:

Availability

Online Library~1

Available:
Copies:

217.

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Author

Kohlenbach, Ulrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77533-1

Format:

Availability

Online Library~1

Available:
Copies:

218.

New Developments in Formal Languages and Applications

Author

Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78291-9

Format:

Availability

Online Library~1

Available:
Copies:

219.

Mathematics, Models, and Modality Selected Philosophical Essays

Author

Burgess, John P..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

220.

The Arché Papers on the Mathematics of Abstraction

Author

Cook, Roy T. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

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:

222.

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

Author

Atten, Mark. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Handbook of Spatial Logics

Author

Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Passione per Trilli Alcune idee dalla matematica

Author

Lucchetti, Roberto. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-0629-4

Format:

Availability

Online Library~1

Available:
Copies:

225.

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

Author

Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-35651-8

Format:

Availability

Online Library~1

Available:
Copies:

226.

Mathematical Problems from Applied Logic II Logics for the XXIst Century

Author

Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-69245-6

Format:

Availability

Online Library~1

Available:
Copies:

227.

Number Theory An Introduction via the Distribution of Primes

Author

Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

104 Number Theory Problems From the Training of the USA IMO Team

Author

Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4561-8

Format:

Availability

Online Library~1

Available:
Copies:

229.

A Beginner’s Guide to Graph Theory

Author

Wallis, W. D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

The Legacy of Mario Pieri in Geometry and Arithmetic

Author

Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4603-5

Format:

Availability

Online Library~1

Available:
Copies:

231.

Logic Colloquium 2005

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

232.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-45388-8

Format:

Availability

Online Library~1

Available:
Copies:

233.

Ernst Zermelo An Approach to His Life and Work

Author

Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Finite Model Theory and Its Applications

Author

Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-68804-8

Format:

Availability

Online Library~1

Available:
Copies:

235.

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Author

Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72734-7

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Author

Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Author

Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74915-8

Format:

Availability

Online Library~1

Available:
Copies:

238.

The Strength of Nonstandard Analysis

Author

Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-49905-4

Format:

Availability

Online Library~1

Available:
Copies:

239.

Kolmogorov’s Heritage in Mathematics

Author

Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Transition to higher mathematics : structure and proof

Author

Dumas, Bob A. McCarthy, John E.

Preferred Shelf Number

QA9 .D863 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

242.

Discrete mathematics and its applications

Author

Rosen, Kenneth H.

Preferred Shelf Number

QA39.3 R674 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

243.

Mathematics and common sense a case of creative tension

Author

Davis, Philip J., 1923-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

Author

Galavotti, Maria Carla. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

Author

Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

18 Unconventional Essays on the Nature of Mathematics

Author

Hersh, Reuben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29831-2

Format:

Availability

Online Library~1

Available:
Copies:

247.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Author

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Availability

Online Library~1

Available:
Copies:

248.

Notes on Set Theory

Author

Moschovakis, Yiannis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31609-4

Format:

Availability

Online Library~1

Available:
Copies:

249.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Techniques of Constructive Analysis

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-38147-3

Format:

Availability

Online Library~1

Available:
Copies:

251.

Problems and Theorems in Classical Set Theory

Author

Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36219-3

Format:

Availability

Online Library~1

Available:
Copies:

252.

The Congruences of a Finite Lattice A Proof-by-Picture Approach

Author

Grätzer, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4462-8

Format:

Availability

Online Library~1

Available:
Copies:

253.

Finite Model Theory

Author

Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Parameterized Complexity Theory

Author

Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29953-X

Format:

Availability

Online Library~1

Available:
Copies:

255.

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-36023-9

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Author

Ésik, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Commonsense reasoning

Author

Mueller, Erik T.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Theorems, corollaries, lemmas, and methods of proof

Author

Rossi, Richard J., 1956-

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020

Format:

Availability

Online Library~1

Available:
Copies:

259.

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

Author

Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Théorie des ensembles

Author

Bourbaki, N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34035-5

Format:

Availability

Online Library~1

Available:
Copies:

261.

Axiom of Choice

Author

Herrlich, Horst. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Author

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Author

Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7692-9

Format:

Availability

Online Library~1

Available:
Copies:

264.

Tracking reason proof, consequence, and truth

Author

Azzouni, Jody.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

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:

266.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Laws of Nature

Author

Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28303-X

Format:

Availability

Online Library~1

Available:
Copies:

268.

Propositional and Predicate Calculus A Model of Argument

Author

Goldrei, Derek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-229-2

Format:

Availability

Online Library~1

Available:
Copies:

269.

Phenomenology, Logic, and the Philosophy of Mathematics

Author

Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

270.

Rippling: Meta-Level Guidance for Mathematical Reasoning

Author

Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

271.

Essays in Constructive Mathematics

Author

Edwards, Harold M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Author

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Author

Solojentsev, E. D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

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:

275.

Field Arithmetic

Author

Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

Author

Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Valued Fields

Author

Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-30035-X

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Author

Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Author

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Author

Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

The Big Typescript, TS. 213

Author

Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html
John Wiley http://dx.doi.org/10.1002/9780470752906

Format:

Availability

Online Library~1

Available:
Copies:

283.

Logically determined design clockless system design with NULL convention logic

Author

Fant, Karl M.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787

Format:

Availability

Online Library~1

Available:
Copies:

284.

Categories for Software Engineering

Author

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Author

Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

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:

287.

Trends in Continuum Mechanics of Porous Media

Author

Boer, Reint. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

289.

Önermeler mantığı :

Author

Nesin, Ali.

Preferred Shelf Number

QA 270 .N476 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

290.

Linear Logic in Computer Science

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

291.

Charles S. Peirce zur Einführung

Author

Pape, Helmut.

Preferred Shelf Number

B945.P44 P347 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

292.

Handbook of the logic of argument and inference the turn towards the practical

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Develerle eşekler :

Author

Nesin, Ali. Akgül, Tayfun, karikatür.

Preferred Shelf Number

QA 270 .N474 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

294.

Mathematical logic

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

The logic of knowledge bases

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Sembolik mantık el kitabı

Author

Grünberg, Teo.

Preferred Shelf Number

BC 135 G969 2000 V.2

Format:

Availability

Beytepe Library~2

Available:
Copies:

297.

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

Author

Brady, Geraldine.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Logic-based methods for optimization combining optimization and constraint satisfaction

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Between Logic and Intuition Essays in Honor of Charles Parsons

Author

Sher, Gila. Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}