Search Results for Cambridge University Press

|

|

|

|

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

(2)

von Plato, Jan.

(2)

Chemla, Karine.

(1)

(1)

Ehrhard, Thomas.

(1)

Girard, Jean-Yves.

(1)

Hacking, Ian, author.

(1)

Lerman, Manuel.

(1)

Nguyen, Phuong.

(1)

(1)

(1)

(1)

Language

(7)

Publication Date

-

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(3)

Computational complexity.

(1)

Computer science -- Mathematics.

(1)

Logistic Models.

(1)

MATHEMATICS / Logic.

(1)

Mathematical Computing.

(1)

Mathematics -- Philosophy.

(1)

Mathematics, Ancient.

(1)

(1)

(1)

Priority (Philosophy)

(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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

7 Results Found

Subscribe to search results

1

0000000DEFAULT

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 Why is there philosophy of mathematics at all?

Why is there philosophy of mathematics at all?

Why is there philosophy of mathematics at all?

Author

Hacking, Ian, author.

Preferred Shelf Number

QA8.4 H29 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Cover image for The history of mathematical proof in ancient traditions

The history of mathematical proof in ancient traditions

The history of mathematical proof in ancient traditions

Author

Chemla, Karine.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

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

7.

Cover image for Structural Proof Theory

Structural Proof Theory

Structural Proof Theory

Author

Negri, Sara. von Plato, Jan. Ranta, Aarne.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

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