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

Narrowed by:

+

Library: Online Library

Author

SpringerLink (Online service)

(15)

Cupillari, Antonella.

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

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)

Girard, Jean-Yves.

(1)

Glässer, Uwe. editor.

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. editor.

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

Olivetti, Nicola. author.

(1)

Palanque, Philippe. editor. (orcid)

(1)

Palgrave Connect (Online service)

(1)

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(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

(44)

Publication Date

-

(6)

(5)

(5)

(5)

(5)

(3)

(3)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

(19)

Logic, Symbolic and mathematical.

(10)

(4)

Computer science.

(3)

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Electronic books.

(2)

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

MATHEMATICS / Logic.

(1)

Mappings (Mathematics)

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

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)

THEORIE EQUATIONNELLE.

(1)

Urbanization -- Congresses.

(1)

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Material Type

Shelf Location

Electronic Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

44 Results Found

Subscribe to search results

1 2 3 4

00000000DEFAULT

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 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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

Cover image for Logic in algebraic form Three languages and theories

Logic in algebraic form Three languages and theories

Logic in algebraic form Three languages and theories

Author

Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11