Search Results for

|

|

|

|

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: Logic, Symbolic and mathematical

+

Subject: Proof theory

Author

Bittinger, Marvin L.

(1)

Crossley, John N.

(1)

Girard, Jean-Yves

(1)

(1)

Oliveira, Suely

(1)

Poernomo, Iman Hafiz

(1)

Pozzato, Gian Luca

(1)

Rodgers, Nancy, 1941-

(1)

Schiller, Marvin R. G.

(1)

Stewart, David E., (David Edward), 1961-

(1)

(1)

Wirsing, M. (Martin)

(1)

Language

(7)

Format

(7)

Visual Materials

(1)

Material Type

Non Circulating UTM Archive - Audio Visual

Open Access Book

Subject

(2)

Abstract data types (Computer science)

(1)

Curry-Howard isomorphism

(1)

Functional programming (Computer science)

(1)

Lambda calculus

(1)

(1)

{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

8 Results Found

Subscribe to search results

1

00000000MAIN

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 Granularity analysis for tutoring mathematical proofs

Granularity analysis for tutoring mathematical proofs

by

Schiller, Marvin R. G.

Author

Schiller, Marvin R. G.

Format:

Call Number

QA9.54 S24 2011

Publisher

IOS Press,

Publication Date

2011

ISBN

9781607507192

Available:
Holds:
Copies:

SD_ILS:778533

2.

Cover image for Conditional and preferential logics : proof methods and theorem proving

Conditional and preferential logics : proof methods and theorem proving

by

Pozzato, Gian Luca

Author

Pozzato, Gian Luca

Format:

Call Number

QA9 P69 2010

Publisher

IOS Press,

Publication Date

2010

ISBN

9781607500940

Available:
Holds:
Copies:

SD_ILS:772556

3.

Cover image for Adapting proofs-as-programs : the curry - howard protocol

Adapting proofs-as-programs : the curry - howard protocol

by

Poernomo, Iman Hafiz

Author

Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)

Format:

Call Number

QA9.54 P64 2005

Publisher

Springer,

Publication Date

2005

ISBN

9780387237596

Available:
Holds:
Copies:

SD_ILS:384300

4.

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

Learning to reason : an introduction to logic, sets and relations

by

Rodgers, Nancy, 1941-

Author

Rodgers, Nancy, 1941-

Format:

Call Number

QA9 R62 2000

Publisher

John Wiley & Sons,

Publication Date

2000

ISBN

9780471371229

Available:
Holds:
Copies:

SD_ILS:374749

5.

Cover image for Proofs and types

Proofs and types

Proofs and types

by

Girard, Jean-Yves

Author

Girard, Jean-Yves, Taylor, Paul, Lafont, Yves

Format:

Call Number

QA9.54 G57 1989

Publisher

Cambridge University Press,

Publication Date

1989

ISBN

9780521371810

Available:
Holds:
Copies:

SD_ILS:268095

6.

Cover image for Logic, proof and sets

Logic, proof and sets

by

Bittinger, Marvin L.

Author

Bittinger, Marvin L.

Format:

Call Number

BC135 B57 1982

Edition

2nd ed.

Publisher

Addison - Wesley Publishing,

Publication Date

1982

ISBN

9780201103489

Available:
Holds:
Copies:

SD_ILS:252015

7.

Cover image for Theorem proving

Theorem proving

Theorem proving

Format:

Call Number

KVD 887

Publisher

MIT,

Publication Date

1969

Available:
Holds:
Copies:

SD_ILS:10039

8.

Cover image for BUILDING PROOFS : A Practical Guide

BUILDING PROOFS : A Practical Guide

by

Oliveira, Suely

Author

Oliveira, Suely, Stewart, David E., (David Edward), 1961-

Format:

Call Number

QA9.54 O46 2015

ISBN

9789814641296

Available:
Holds:
Copies:

SD_ILS:866971

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1