Search Results for Logic, Symbolic and mathematical.

1.

The foundations of mathematics : and other logical essays

Yazar

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

Yer Numarası

QA 9 R23 1931

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

The nature of mathematics : a critical survey

Yazar

Black, Max, 1909-

Yer Numarası

QA 9 B62 1933 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Mathematical logic : A course with exercises

Yazar

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

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

4.

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

Yazar

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

Yer Numarası

Q 175 C494 1948 A (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

The logical syntax of language

Yazar

Carnap, Rudolf, 1891-1970.

Yer Numarası

BC 135 C323 1937 P (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

An examination of logical positivism

Yazar

Weinberg, Julius Rudolf, 1908-

Yer Numarası

B 824.6 W434 1936 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

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

Yazar

Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Handbook of Model Checking

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

An Introduction to the Technique of Formative Processes in Set Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Logical Foundations of Cyber-Physical Systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

A concise introduction to pure mathematics

Yazar

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

Yer Numarası

QA9 L478 2016

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

16.

Introduction to mathematical logic

Yazar

Mendelson, Elliott.

Yer Numarası

QA9 M4 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

17.

Logic and discrete mathematics : a concise introduction

Yazar

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

Yer Numarası

QA9 C7423 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

18.

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

Yazar

De Morgan, Augustus, 1806-1871, author.

Yer Numarası

BC135 D4 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

19.

Commonsense reasoning an event calculus-based approach

Yazar

Mueller, Erik T., author.

Yer Numarası

ONLINE(355437.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Logicism and its philosophical legacy

Yazar

Demopoulos, William.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

A transition to mathematics with proofs

Yazar

Cullinane, Michael J.

Yer Numarası

QA9 C84 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

22.

Discrete mathematics and its applications

Yazar

Rosen, Kenneth H. Krithivasan, Kamala.

Yer Numarası

QA39.3 R674 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

23.

An introduction to Gödel's theorems

Yazar

Smith, Peter, 1944- author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Belief Revision in Non-Classical Logics

Yazar

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

Yer Numarası

ONLINE(330925.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

A Logical Introduction to Proof

Yazar

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

Yer Numarası

ONLINE(331358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

Yazar

Hinkis, Arie. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332605.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

The Real Numbers An Introduction to Set Theory and Analysis

Yazar

Stillwell, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332876.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Kurt Gödel Essays for his Centennial

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Önermeler mantığı

Yazar

Nesin, Ali.

Yer Numarası

QA270 N476 2013

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

30.

A Course on Mathematical Logic

Yazar

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

Yer Numarası

ONLINE(331853.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Yazar

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

Yer Numarası

ONLINE(332681.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

Yazar

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

Yer Numarası

ONLINE(333036.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

Yazar

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

Yer Numarası

ONLINE(335032.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Reactive Kripke Semantics

Yazar

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

Yer Numarası

ONLINE(335100.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

Yazar

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

Yer Numarası

ONLINE(338283.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

Yazar

Tieszen, Richard L., author.

Yer Numarası

QA9 T54 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

37.

Logic and Structure

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331010.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331026.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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

Yazar

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

Yer Numarası

ONLINE(330942.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

An Invitation to Abstract Mathematics

Yazar

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

Yer Numarası

ONLINE(332077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

The Mathematics of Paul Erdős II

Yazar

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

Yer Numarası

ONLINE(332243.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Visual Reasoning with Diagrams

Yazar

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

Yer Numarası

ONLINE(332637.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Towards a General Theory of Classifications

Yazar

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

Yer Numarası

ONLINE(332639.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

Yazar

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

Yer Numarası

ONLINE(332859.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

Yazar

Paule, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332822.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Stochastic Calculus with Infinitesimals

Yazar

Herzberg, Frederik. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333673.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Cylindric-like Algebras and Algebraic Logic

Yazar

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

Yer Numarası

ONLINE(333922.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Mathematics of Fuzzy Sets and Fuzzy Logic

Yazar

Bede, Barnabas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333950.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

Yazar

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

Yer Numarası

ONLINE(334038.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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

Yazar

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

Yer Numarası

ONLINE(334465.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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

Yazar

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

Yer Numarası

ONLINE(335941.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

The Argument of Mathematics

Yazar

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

Yer Numarası

ONLINE(336263.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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

Yazar

Tapp, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

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

Yazar

Zeidler, Eberhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337476.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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

Yazar

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

Yer Numarası

ONLINE(334018.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

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

Yazar

Hasegawa, Masahito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334702.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

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

Yazar

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

Yer Numarası

ONLINE(334718.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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

Yazar

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

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

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

Yer Numarası

ONLINE(337115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Frege's notations what they are and how they mean

Yazar

Landini, Gregory. Palgrave Connect (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Sparsity Graphs, Structures, and Algorithms

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

The Complexity of Valued Constraint Satisfaction Problems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Non solo calcoli Domande e risposte sui perché della matematica

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

The foundations of mathematics

Yazar

Kunen, Kenneth.

Yer Numarası

QA9 K796 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

67.

The Mathematical Experience, Study Edition

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

A Beginner's Guide to Discrete Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Mathematical Logic for Computer Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Foundations of Algebraic Specification and Formal Software Development

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Combinatorial Set Theory With a Gentle Introduction to Forcing

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Introduction to Mathematical Structures and Proofs

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Around and Beyond the Square of Opposition

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

On Intuitionistic Fuzzy Sets Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Mathematics of Discrete Structures for Computer Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Mathematical Olympiad Treasures

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Excursions in the History of Mathematics

Yazar

Kleiner, Israel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Teoria algebrica dei meccanismi automatici

Yazar

Righi, R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Logic: A Brief Course

Yazar

Mundici, Daniele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Truth and Falsehood An Inquiry into Generalized Logical Values

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

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

Yazar

Baltas, Aristeidēs. Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Logic demystified

Yazar

Boutelle, Anthony. Gibilisco, Stan.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Un mondo di idee La matematica ovunque

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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

Yazar

Skof, Fulvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Logica: Metodo Breve

Yazar

Mundici, Daniele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal. Seda, Anthony.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

McGraw-Hill's LSAT

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

McGraw-Hill's conquering LSAT logic games

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

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

Yazar

Soifer, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

The Selected Correspondence of L.E.J. Brouwer

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Reading, Writing, and Proving A Closer Look at Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

An introduction to practical formal methods using temporal logic

Yazar

Fisher, Michael, 1962-

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Computational logic and human thinking how to be artificially intelligent

Yazar

Kowalski, Robert.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

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

Yazar

Hopkins, Burt C. Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Model Theory and Applications

Yazar

Mangani, P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

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

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

From Objects to Diagrams for Ranges of Functors

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Apartness and Uniformity A Constructive Development

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Proofs and Fundamentals A First Course in Abstract Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Aspects of Mathematical Logic

Yazar

Casari, E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Recursion Theory and Computational Complexity

Yazar

Lolli, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Conditionals and Modularity in General Logics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Hyperfinite Dirichlet Forms and Stochastic Processes

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Treatise on Intuitionistic Type Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Advanced Łukasiewicz calculus and MV-algebras

Yazar

Mundici, D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Hybrid Logic and its Proof-Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Dual Tableaux: Foundations, Methodology, Case Studies

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Proof, Computation and Agency Logic at the Crossroads

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Methods of Cut-Elimination

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Foundational Theories of Classical and Constructive Mathematics

Yazar

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Games, Norms and Reasons Logic at the Crossroads

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Strict Finitism and the Logic of Mathematical Applications

Yazar

Ye, Feng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

After Gödel Platonism and rationalism in mathematics and logic

Yazar

Tieszen, Richard L.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

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

Yazar

Goldblatt, Robert.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

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

Yazar

Kennedy, Juliette. Kossak, Roman.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Handbook of logic and language

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Logical Dynamics of Information and Interaction

Yazar

van Benthem, Johan.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

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

Yazar

Linsky, Bernard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Banach Spaces and Descriptive Set Theory: Selected Topics

Yazar

Dodos, Pandelis. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Mathematical Logic Foundations for Information Science

Yazar

Li, Wei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Logic and Philosophy of Mathematics in the Early Husserl

Yazar

Centrone, Stefania. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Discrete structures, logic, and computability

Yazar

Hein, James L.

Yer Numarası

QA76.9.M35 H44 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

139.

Roads to infinity the mathematics of truth and proof

Yazar

Stillwell, John.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Handbook of Set Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Mathematische Logik

Yazar

Ziegler, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Mathematical reasoning patterns, problems, conjectures, and proofs

Yazar

Nickerson, Raymond S.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

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

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Logical Tools for Handling Change in Agent-Based Systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

A Course in Mathematical Logic for Mathematicians

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Cardinal Invariants on Boolean Algebras

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Teaching mathematical reasoning in secondary school classrooms

Yazar

Brodie, Karin. Coetzee, Kurt.

Yer Numarası

QA8.7 B76 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

150.

A Concise Introduction to Mathematical Logic

Yazar

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Cognitive Reasoning A Formal Approach

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Natural Deduction, Hybrid Systems and Modal Logics

Yazar

Indrzejczak, Andrzej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Truth through proof a formalist foundation for mathematics

Yazar

Weir, Alan.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

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

Yazar

Hylton, Peter.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

A Framework for Priority Arguments

Yazar

Lerman, Manuel.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Logic Colloquium 2007

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Logical Foundations of Proof Complexity

Yazar

Cook, Stephen. Nguyen, Phuong.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Introduction to mathematics of satisfiability

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Games, puzzles, and computation

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Introduction to Boolean Algebras

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

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

Yazar

Soifer, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

A Missing Link in Cybernetics Logic and Continuity

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Logical labyrinths

Yazar

Smullyan, Raymond M.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Logische Grundlagen der Mathematik

Yazar

Schindler, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

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

Yazar

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

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

Yazar

Treinen, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Logic and Integer Programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Games: Unifying Logic, Language, and Philosophy

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Proof Theory for Fuzzy Logics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Proof Theory The First Step into Impredicativity

Yazar

Pohlers, Wolfram. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

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

Yazar

Constanda, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Algorithmic Composition Paradigms of Automated Music Generation

Yazar

Nierhaus, Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Ultimate Explanations of the Universe

Yazar

Heller, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Generalized Measure Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Mathematical Olympiad Challenges

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Handbook of Weighted Automata

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Logic Colloquium 2006

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Logic for Computer Scientists

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Discrete Thoughts Essays on Mathematics, Science and Philosophy

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Indiscrete Thoughts

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Mathematical logic

Yazar

Tourlakis, George J.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Constructive Negations and Paraconsistency

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Algorithms in Invariant Theory

Yazar

Sturmfels, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Theoretische Informatik Eine umfassende Einführung

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

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

Yazar

Hausdorff, Felix. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Petri-Netze

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

New Developments in Formal Languages and Applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Combinatorics and Graph Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Information and Knowledge A Constructive Type-theoretical Approach

Yazar

Primiero, Giuseppe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Field Arithmetic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Yazar

Kohlenbach, Ulrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Completeness Theory for Propositional Logics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Institution-independent Model Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

New Computational Paradigms Changing Conceptions of What is Computable

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

A Course on Mathematical Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Guida alla teoria degli insiemi

Yazar

Lolli, Gabriele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

New essays on Tarski and philosophy

Yazar

Patterson, Douglas.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Mathematics, Models, and Modality Selected Philosophical Essays

Yazar

Burgess, John P..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Logica Universalis Towards a General Theory of Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Passione per Trilli Alcune idee dalla matematica

Yazar

Lucchetti, Roberto. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Transition to higher mathematics : structure and proof

Yazar

Dumas, Bob A. McCarthy, John E.

Yer Numarası

QA9 .D863 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

224.

Discrete mathematics and its applications

Yazar

Rosen, Kenneth H.

Yer Numarası

QA39.3 R674 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

225.

The Strength of Nonstandard Analysis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Kolmogorov’s Heritage in Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Ernst Zermelo An Approach to His Life and Work

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

The Arché Papers on the Mathematics of Abstraction

Yazar

Cook, Roy T. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

Yazar

Atten, Mark. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Handbook of Spatial Logics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Mathematical Problems from Applied Logic II Logics for the XXIst Century

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Number Theory An Introduction via the Distribution of Primes

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

A Beginner’s Guide to Graph Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

The Legacy of Mario Pieri in Geometry and Arithmetic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Finite Model Theory and Its Applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Logic Colloquium 2005

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Mathematics and common sense a case of creative tension

Yazar

Davis, Philip J., 1923-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

A Concise Introduction to Mathematical Logic

Yazar

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Techniques of Constructive Analysis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Theorems, corollaries, lemmas, and methods of proof

Yazar

Rossi, Richard J., 1956-

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Théorie des ensembles

Yazar

Bourbaki, N. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Axiom of Choice

Yazar

Herrlich, Horst. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

A logical Approach to Philosophy Essays in Honour of Graham Solomon

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

Yazar

Galavotti, Maria Carla. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Finite Model Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Parameterized Complexity Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

18 Unconventional Essays on the Nature of Mathematics

Yazar

Hersh, Reuben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Notes on Set Theory

Yazar

Moschovakis, Yiannis. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Problems and Theorems in Classical Set Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Tracking reason proof, consequence, and truth

Yazar

Azzouni, Jody.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Commonsense reasoning

Yazar

Mueller, Erik T.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Laws of Nature

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Logically determined design clockless system design with NULL convention logic

Yazar

Fant, Karl M.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

The Big Typescript, TS. 213

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Propositional and Predicate Calculus A Model of Argument

Yazar

Goldrei, Derek. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

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

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Valued Fields

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Essays in Constructive Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

A Modern Perspective on Type Theory From its Origins until Today

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Trends in Continuum Mechanics of Porous Media

Yazar

Boer, Reint. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Visualization, Explanation and Reasoning Styles in Mathematics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Categories for Software Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Field Arithmetic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Logica Universalis Towards a General Theory of Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Phenomenology, Logic, and the Philosophy of Mathematics

Yazar

Tieszen, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Rippling: Meta-Level Guidance for Mathematical Reasoning

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Charles S. Peirce zur Einführung

Yazar

Pape, Helmut.

Yer Numarası

B945.P44 P347 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

289.

Logic and structure

Yazar

Dalen, D. van.

Yer Numarası

QA 9 D16 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

290.

Önermeler mantığı :

Yazar

Nesin, Ali.

Yer Numarası

QA 270 .N476 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

291.

Linear Logic in Computer Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

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

Yazar

Gabbay, Dov M., 1945-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Develerle eşekler :

Yazar

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

Yer Numarası

QA 270 .N474 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

294.

Mathematical logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Learning to reason an introduction to logic, sets and relations

Yazar

Rodgers, Nancy, 1941-

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

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

Yazar

Brady, Geraldine.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Logic-based methods for optimization combining optimization and constraint satisfaction

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Sembolik mantık el kitabı

Yazar

Grünberg, Teo.

Yer Numarası

BC 135 G969 2000 V.2

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

299.

The logic of knowledge bases

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Between Logic and Intuition Essays in Honor of Charles Parsons

Yazar

Sher, Gila. Tieszen, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}