Search Results for Proof theory.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Language: English

Yazar

SpringerLink (Online service)

(15)

Cupillari, Antonella.

(3)

Taylor and Francis.

(3)

Girard, Jean-Yves.

(2)

(2)

von Plato, Jan.

(2)

Aher, Martin. editor.

(1)

Akiyama, Jin. author.

(1)

Akoh, Casimir C., 1955-

(1)

Aubrey, Jason A., 1975- author.

(1)

(1)

Berkovitz, Leonard David, 1924, author.

(1)

Bimbo, Katalin, 1963, author.

(1)

Blanton, Maria L.

(1)

Braüner, Torben. author.

(1)

Buss, Samuel R.

(1)

Cao, Bin, editor.

(1)

Chaitin, Gregory J., author.

(1)

Charvat, Gregory L., author.

(1)

Chatzikyriakidis, Stergios, author.

(1)

Chemla, Karine.

(1)

Chuang, Isaac L., 1968-

(1)

Coello, Carlos Coello. editor.

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

(1)

Costa, Newton C. A. da.

(1)

Craig, William, 1918-

(1)

Creissac Campos, Jose. editor.

(1)

DeBonis, Mark J.

(1)

Della Vedova, Gianluca. editor.

(1)

Doria, Francisco Antonio.

(1)

Draganov, Alexandr, author.

(1)

Dundua, Besik. editor.

(1)

Ehrhard, Thomas.

(1)

Erickson, Matthew P.

(1)

(1)

Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author.

(1)

Gabbay, Dov. author.

(1)

Gaspar-Cunha, António. editor.

(1)

Gibilisco, Stan.

(1)

Glässer, Uwe. editor.

(1)

Gunderson, David S., author.

(1)

Hacking, Ian, author.

(1)

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. editor.

(1)

Imran, Muhammad Ali, editor.

(1)

Jahnke, H. N. (Hans Niels), 1948-

(1)

Jahren, Bjørn, 1945-

(1)

Jeřábek, Emil. editor.

(1)

Johnson, Clayton Matthew.

(1)

Kano, Mikio. author.

(1)

(1)

(1)

Kirkwood, James R., author.

(1)

Kirtland, Joseph (Mathematics professor), author.

(1)

(1)

Kohlenbach, Ulrich. author.

(1)

(1)

Krantz, Steven G. (Steven George), 1951-

(1)

Kukush, Alexander.

(1)

Kupke, Clemens. editor.

(1)

Kutateladze, S.S., editor.

(1)

Landini, Gregory.

(1)

Lempp, Steffen. editor.

(1)

Lerman, Manuel.

(1)

Luo, Zhaohui, author.

(1)

Madden, Daniel J., 1948- author.

(1)

Malvone, Vadim. editor.

(1)

Manea, Florin. editor. (orcid)

(1)

Medhin, Negash G.

(1)

Metcalfe, George. author.

(1)

(1)

Murano, Aniello. editor.

(1)

Myhill, John, 1923-1987.

(1)

Méry, Dominique. editor.

(1)

National Council of Teachers of Mathematics.

(1)

Nguyen, Phuong.

(1)

Nielsen, Michael A. 1974-

(1)

Olivetti, Nicola. author.

(1)

Palanque, Philippe. editor. (orcid)

(1)

Palgrave Connect (Online service)

(1)

Peng, Mugen, editor.

(1)

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(1)

(1)

Rademaker, Alexandre. author.

(1)

Ramanayake, Revantha. editor.

(1)

(1)

Reiter, Edna E. (Edna Elizabeth), author.

(1)

Roberts, Charles, author.

(1)

Robeva, Raina S., author.

(1)

Rodgers, Nancy, 1941-

(1)

(1)

Rossi, Richard J., 1956-

(1)

(1)

ScienceDirect (Online service)

(1)

(1)

Stylianou, Despina A.

(1)

Supowit, Kenneth J. author.

(1)

Syropoulos, Apostolos, author.

(1)

(1)

Sørensen, Morten Heine.

(1)

(1)

Takeuti, Gaisi, 1926-

(1)

Urban, Josef. editor.

(1)

Urzyczyn, Paweł.

(1)

Verstegen, Ian.

(1)

Vesley, Richard Eugene, 1932-

(1)

Voronkov, Andrei. editor.

(1)

Waldhausen, Friedhelm, 1938-

(1)

Woodcock, Janet, author.

(1)

Xia, Qi, author.

(1)

Zhang, Lei, editor.

(1)

Tümünü genişlet

Yayın Yılı

-

(7)

(7)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(27)

Logic, Symbolic and mathematical.

(12)

(5)

Proof theory -- Textbooks.

(5)

Electronic books.

(4)

Computer science.

(3)

Mathematics -- Philosophy.

(3)

(2)

Blockchains (Databases)

(2)

Chaînes de blocs.

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Logic, Symbolic and mathematical -- Textbooks.

(2)

(2)

MATHEMATICS / Logic

(2)

MATHEMATICS / Set Theory.

(2)

(2)

Algebra, Boolean.

(1)

Algebraic logic.

(1)

Art -- Historiography.

(1)

Art -- Philosophy.

(1)

Artificial intelligence.

(1)

Asset allocation.

(1)

(1)

Categories (Mathematics)

(1)

(1)

(1)

Combinatory logic.

(1)

Convex surfaces.

(1)

Cryptographie à clé publique.

(1)

Curry-Howard isomorphism.

(1)

Curves on surfaces.

(1)

Discrete Mathematics

(1)

Discrete Mathematics.

(1)

(1)

Espace de Hilbert.

(1)

Frege, Gottlob, 1848-1925.

(1)

Functional analysis.

(1)

Functions of real variables

(1)

Functions of real variables -- Textbooks.

(1)

Fuzzy mathematics

(1)

Fuzzy mathematics.

(1)

Gaussian measures

(1)

Gaussian measures.

(1)

Geometry, Differential.

(1)

Godel's theorem.

(1)

(1)

(1)

(1)

Informatique sémantique.

(1)

Investment analysis.

(1)

Lambda calculus.

(1)

Lipids -- Biotechnology.

(1)

Lipids -- Metabolism.

(1)

Lipids in human nutrition.

(1)

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Study and teaching.

(1)

(1)

Logistic Models.

(1)

MATHEMATICS -- General.

(1)

MATHEMATICS / Algebra / Abstract

(1)

MATHEMATICS / Discrete Mathematics

(1)

MATHEMATICS / Functional Analysis.

(1)

MATHEMATICS / General.

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Mathematical Analysis

(1)

MATHEMATICS / Probability & Statistics / General

(1)

MATHEMATICS / Set Theory

(1)

MATHEMATICS / Trigonometry

(1)

Mappings (Mathematics)

(1)

Matematik -- Felsefe.

(1)

Mathematical Computing.

(1)

Mathematical analysis

(1)

Mathematical analysis -- Foundations -- Textbooks.

(1)

Mathematical analysis -- Study and teaching.

(1)

Mathematical analysis -- Textbooks.

(1)

Mathematical notation.

(1)

Mathematics & Statistics

(1)

Mathematics & Statistics.

(1)

Mathematics, Ancient.

(1)

Mathematische Logik.

(1)

Mathématiques floues.

(1)

(1)

Mesures gaussiennes.

(1)

Nonlinear control theory.

(1)

(1)

(1)

Numbers, Real -- Textbooks.

(1)

Operator theory.

(1)

Philosophy (General).

(1)

(1)

Piecewise linear topology.

(1)

(1)

Portfolio management.

(1)

Priority (Philosophy)

(1)

Problem solving -- Study and teaching.

(1)

(1)

Proof theory -- Study and teaching.

(1)

Public key cryptography

(1)

Public key cryptography.

(1)

Quantum computers.

(1)

Quantum field theory.

(1)

Quantum theory.

(1)

(1)

Semantic computing

(1)

Semantic computing.

(1)

(1)

(1)

Software engineering -- Mathematics.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- General.

(1)

TECHNOLOGY & ENGINEERING.

(1)

THEORIE EQUATIONNELLE.

(1)

(1)

Transmission sans fil.

(1)

(1)

Wireless communication systems

(1)

Wireless communication systems.

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

(1)

İspat kuramı.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

66 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Math proofs demystified a self-teaching guide için kapak resmi

Math proofs demystified a self-teaching guide

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:

2.

Discrete mathematics demystified a self-teaching guide için kapak resmi

Discrete mathematics demystified a self-teaching guide

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:

3.

A Framework for Priority Arguments için kapak resmi

A Framework for Priority Arguments

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:

4.

Logical Foundations of Proof Complexity için kapak resmi

Logical Foundations of Proof Complexity

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:

5.

Explanation and proof in mathematics : philosophical and educational perspectives için kapak resmi

Explanation and proof in mathematics : philosophical and educational perspectives

Explanation and proof in mathematics : philosophical and educational perspectives

Yazar

Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.

Yer Numarası

QA9.54 E97 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

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

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:

7.

Food lipids : chemistry, nutrition, and biotechnology için kapak resmi

Food lipids : chemistry, nutrition, and biotechnology

Food lipids : chemistry, nutrition, and biotechnology

Yazar

Akoh, Casimir C., 1955- Min, David B.

Yer Numarası

QP751 .F647 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Lectures on the Curry-Howard isomorphism için kapak resmi

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Yazar

Sørensen, Morten Heine. Urzyczyn, Paweł.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Tracking reason proof, consequence, and truth için kapak resmi

Tracking reason proof, consequence, and truth

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:

10.

Theorems, corollaries, lemmas, and methods of proof için kapak resmi

Theorems, corollaries, lemmas, and methods of proof

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:

11.

A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces için kapak resmi

A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces

A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces

Yazar

Kutateladze, S.S., editor. Taylor and Francis.

Yer Numarası

QA643 EB .A358413 2006

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The nuts and bolts of proofs için kapak resmi

The nuts and bolts of proofs

The nuts and bolts of proofs

Yazar

Cupillari, Antonella.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11