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ü
Shelf Location
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
25. 
Limits of computation an introduction to the undecidable and the intractable için kapak resmi
Limits of computation an introduction to the undecidable and the intractable
Yazar 
Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.
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:
26. 
The nuts and bolts of proofs an introduction to mathematical proofs için kapak resmi
The nuts and bolts of proofs an introduction to mathematical proofs
Yazar 
Cupillari, Antonella. ScienceDirect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Spaces of PL manifolds and categories of simple maps için kapak resmi
Spaces of PL manifolds and categories of simple maps
Yazar 
Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt24hqsv
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
The history of mathematical proof in ancient traditions için kapak resmi
The history of mathematical proof in ancient traditions
Yazar 
Chemla, Karine.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Frege's notations what they are and how they mean için kapak resmi
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:
30. 
Gd̲el's way exploits into an undecidable world için kapak resmi
Gd̲el's way exploits into an undecidable world
Yazar 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
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:
31. 
Proof Analysis A Contribution to Hilbert's Last Problem için kapak resmi
Proof Analysis A Contribution to Hilbert's Last Problem
Yazar 
Negri, Sara. von Plato, Jan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Discrete mathematics demystified a self-teaching guide için kapak resmi
Discrete mathematics demystified a self-teaching guide
Yazar 
Krantz, Steven G. (Steven George), 1951-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Math proofs demystified a self-teaching guide için kapak resmi
Math proofs demystified a self-teaching guide
Yazar 
Gibilisco, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Logical Foundations of Proof Complexity için kapak resmi
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:
35. 
A Framework for Priority Arguments için kapak resmi
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:
36. 
Teaching and learning proof across the grades a K-16 perspective için kapak resmi
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: