Search Results for Proof theory.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(15)

Cupillari, Antonella.

(3)

Girard, Jean-Yves.

(2)

(2)

von Plato, Jan.

(2)

Aher, Martin. editor.

(1)

Akiyama, Jin. author.

(1)

(1)

Barroca, Bruno.

(1)

Berkovitz, Leonard David, 1924-

(1)

Bimbo, Katalin, 1963- author.

(1)

Blanton, Maria L.

(1)

Braüner, Torben. author.

(1)

Buss, Samuel R.

(1)

Chaitin, Gregory J.

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

Della Vedova, Gianluca. editor.

(1)

Doria, Francisco Antn̥io.

(1)

Dundua, Besik. editor.

(1)

Ehrhard, Thomas.

(1)

Erickson, Matthew P.

(1)

Gabbay, Dov. author.

(1)

Gaspar-Cunha, António. editor.

(1)

Gibilisco, Stan.

(1)

Glässer, Uwe. editor.

(1)

Hacking, Ian, author.

(1)

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. 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)

Kohlenbach, Ulrich. author.

(1)

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

(1)

Kupke, Clemens. editor.

(1)

Laganier, Richard.

(1)

Landini, Gregory.

(1)

Lempp, Steffen. editor.

(1)

Lerman, Manuel.

(1)

Malvone, Vadim. editor.

(1)

Manea, Florin. editor. (orcid)

(1)

Medhin, Negash G.

(1)

Metcalfe, George. author.

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

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(1)

(1)

Rademaker, Alexandre. author.

(1)

Ramanayake, Revantha. editor.

(1)

(1)

Reiter, Edna E. (Edna Elizabeth)

(1)

Rodgers, Nancy, 1941-

(1)

(1)

Rossi, Richard J., 1956-

(1)

(1)

ScienceDirect (Online service)

(1)

(1)

(1)

Stylianou, Despina A.

(1)

Supowit, Kenneth J. author.

(1)

(1)

Sørensen, Morten Heine.

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

Language

(49)

Publication Date

-

(8)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(3)

(3)

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

(1)

(1)

(1)

(1)

(1)

Subject

(22)

Logic, Symbolic and mathematical.

(10)

(5)

Computer science.

(3)

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Electronic books.

(2)

(2)

Mathematics -- Philosophy.

(2)

(2)

Algebra, Boolean.

(1)

Algebraic logic.

(1)

Art -- Historiography.

(1)

Art -- Philosophy.

(1)

Artificial intelligence.

(1)

Asset allocation.

(1)

(1)

Categories (Mathematics)

(1)

Cities and towns -- Growth -- Congresses.

(1)

City planning -- Congresses.

(1)

Combinatory logic.

(1)

Curry-Howard isomorphism.

(1)

Frege, Gottlob, 1848-1925.

(1)

Functional analysis.

(1)

Gd̲el's theorem.

(1)

(1)

Investment analysis.

(1)

Lambda calculus.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Study and teaching.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

(1)

Logistic Models.

(1)

MATHEMATICS / Logic.

(1)

Mappings (Mathematics)

(1)

Matematik -- Felsefe.

(1)

Mathematical Computing.

(1)

Mathematical analysis -- Foundations -- Textbooks.

(1)

Mathematical analysis -- Study and teaching.

(1)

Mathematical notation.

(1)

Mathematics, Ancient.

(1)

Mathematische Logik.

(1)

(1)

Nonlinear control theory.

(1)

(1)

Operator theory.

(1)

Philosophy (General).

(1)

(1)

Piecewise linear topology.

(1)

Portfolio management.

(1)

Priority (Philosophy)

(1)

Problem solving -- Study and teaching.

(1)

Proof theory -- Study and teaching.

(1)

Proof theory -- Textbooks.

(1)

Quantum computers.

(1)

THEORIE EQUATIONNELLE.

(1)

Urbanization -- Congresses.

(1)

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

(1)

İspat kuramı.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

49 Results Found

Subscribe to search results

1 2 3 4 5

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.

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

Cover image for Linear Logic in Computer Science

Linear Logic in Computer Science

Linear Logic in Computer Science

Author

Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Algebra of proofs

Algebra of proofs

Algebra of proofs

Author

Szabo, M. E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11