Search Results for Foundations.

1.

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:

2.

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

Yazar

Nicod, Jean, 1893-1924.

Yer Numarası

QA 681 N5 1930 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

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:

4.

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

Yazar

Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-8812-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes

Yazar

Dompere, Kofi Kissi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

The Logical Foundations of Bradley's Metaphysics Judgment, Inference, and Truth

Yazar

Allard, James.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Nomological statements and admissible operations

Yazar

Reichenbach, Hans, 1891-1953.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Ancient formal logic

Yazar

Bochenski, Joseph M., 1902-1995.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

	{displayName}	{count}
{error}