Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Cupillari, Antonella.
(2)
Negri, Sara.
(2)
von Plato, Jan.
(2)
Aher, Martin. editor.
(1)
Dil
Yayın Yılı
-
Konu
Proof theory.
(19)
Logic, Symbolic and mathematical.
(10)
Mathematics.
(4)
Computer science.
(3)
Algebra.
(2)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
44 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Proof theory için kapak resmi
Proof theory
Yazar 
Takeuti, Gaisi, 1926-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Structural Proof Theory için kapak resmi
Structural Proof Theory
Yazar 
Negri, Sara. von Plato, Jan. Ranta, Aarne.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Handbook of proof theory için kapak resmi
Handbook of proof theory
Yazar 
Buss, Samuel R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
A Proof Theory for Description Logics için kapak resmi
A Proof Theory for Description Logics
Yazar 
Rademaker, Alexandre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Hybrid Logic and its Proof-Theory için kapak resmi
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:
6. 
Proof Theory for Fuzzy Logics için kapak resmi
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:
7. 
Proof theory : sequent calculi and related formalisms için kapak resmi
Proof theory : sequent calculi and related formalisms
Yazar 
Bimbo, Katalin, 1963- author.
Yer Numarası 
ONLINE(356904.1)
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Proof Theory The First Step into Impredicativity için kapak resmi
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:
9. 
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968 için kapak resmi
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Yazar 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Factors and Factorizations of Graphs Proof Techniques in Factor Theory için kapak resmi
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Yazar 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics için kapak resmi
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:
12. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
XX(520324.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: