Search Results for Proof theory.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

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)

Language

(66)

Publication Date

-

(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)

Subject

(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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

66 Results Found

Subscribe to search results

1 2 3 4 5 6

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

49.

Cover image for Math proofs demystified a self-teaching guide

Math proofs demystified a self-teaching guide

Math proofs demystified a self-teaching guide

Author

Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Proof Analysis A Contribution to Hilbert's Last Problem

Proof Analysis A Contribution to Hilbert's Last Problem

Proof Analysis A Contribution to Hilbert's Last Problem

Author

Negri, Sara. von Plato, Jan.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for A Framework for Priority Arguments

A Framework for Priority Arguments

A Framework for Priority Arguments

Author

Lerman, Manuel.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Explanation and proof in mathematics : philosophical and educational perspectives

Explanation and proof in mathematics : philosophical and educational perspectives

Explanation and proof in mathematics : philosophical and educational perspectives

Author

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

Preferred Shelf Number

QA9.54 E97 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

53.

Cover image for Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Author

Cook, Stephen. Nguyen, Phuong.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Food lipids : chemistry, nutrition, and biotechnology

Food lipids : chemistry, nutrition, and biotechnology

Food lipids : chemistry, nutrition, and biotechnology

Author

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

Preferred Shelf Number

QP751 .F647 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Theorems, corollaries, lemmas, and methods of proof

Theorems, corollaries, lemmas, and methods of proof

Theorems, corollaries, lemmas, and methods of proof

Author

Rossi, Richard J., 1956-

Preferred Shelf Number

ONLINE

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Tracking reason proof, consequence, and truth

Tracking reason proof, consequence, and truth

Tracking reason proof, consequence, and truth

Author

Azzouni, Jody.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for The nuts and bolts of proofs

The nuts and bolts of proofs

The nuts and bolts of proofs

Author

Cupillari, Antonella.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Quantum computation and quantum information

Quantum computation and quantum information

Quantum computation and quantum information

Author

Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-

Preferred Shelf Number

QA76.889 N54 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11