Search Results for Logic

|

|

|

|

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

Narrowed by:

+

Subject: Proof theory.

Author

(1)

Buss, Samuel R.

(1)

(1)

Craig, William, 1918-

(1)

Ehrhard, Thomas.

(1)

Girard, Jean-Yves.

(1)

Landini, Gregory.

(1)

Lerman, Manuel.

(1)

(1)

Nguyen, Phuong.

(1)

Palgrave Connect (Online service)

(1)

Rodgers, Nancy, 1941-

(1)

(1)

(1)

(1)

Sørensen, Morten Heine.

(1)

Takeuti, Gaisi, 1926-

(1)

Urzyczyn, Paweł.

(1)

von Plato, Jan.

(1)

Language

(12)

Publication Date

-

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(6)

(1)

Algebraic logic.

(1)

Categories (Mathematics)

(1)

Combinatory logic.

(1)

Computational complexity.

(1)

Computer science -- Mathematics.

(1)

Curry-Howard isomorphism.

(1)

Electronic books.

(1)

Frege, Gottlob, 1848-1925.

(1)

Lambda calculus.

(1)

(1)

MATHEMATICS / Logic.

(1)

Mathematical notation.

(1)

Mathematische Logik.

(1)

Priority (Philosophy)

(1)

(1)

THEORIE EQUATIONNELLE.

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Material Type

Shelf Location

Electronic Library

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

12 Results Found

Subscribe to search results

1

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.

1.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

Cover image for Handbook of proof theory

Handbook of proof theory

Handbook of proof theory

Author

Buss, Samuel R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Proof theory

Author

Takeuti, Gaisi, 1926-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Frege's notations what they are and how they mean

Frege's notations what they are and how they mean

Frege's notations what they are and how they mean

Author

Landini, Gregory. Palgrave Connect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11