Search Results for Roofs

|

|

|

|

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

Bloch, Ethan D., 1956-

(2)

Campbell, Connie M.

(1)

Crossley, John N.

(1)

Cupillari, Antonella

(1)

Girard, Jean-Yves

(1)

(1)

Oliveira, Suely

(1)

Poernomo, Iman Hafiz

(1)

Rotman, Joseph J., 1934-

(1)

Schiller, Marvin R. G.

(1)

(1)

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

(1)

(1)

(1)

Wirsing, M. (Martin)

(1)

Language

(11)

Format

(11)

Material Type

Open Access Book

Subject

Logic, Symbolic and mathematical

(4)

(3)

(2)

Abstract data types (Computer science)

(1)

Categories (Mathematics)

(1)

Curry-Howard isomorphism

(1)

Functional programming (Computer science)

(1)

Lambda calculus

(1)

Mathematics -- Study and teaching

(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

11 Results Found

Subscribe to search results

1

00000000000MAIN

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 Introduction to advanced mathematics : a guide to understanding proofs

Introduction to advanced mathematics : a guide to understanding proofs

by

Campbell, Connie M.

Author

Campbell, Connie M.

Format:

Call Number

QA9.54 C36 2012

Edition

1st ed.

Publisher

Brooks/Cole : Cengage Learning,

Publication Date

2012

ISBN

9780547165387

Available:
Holds:
Copies:

SD_ILS:776347

2.

Cover image for Proofs and fundamentals : a first course in abstract mathematics

Proofs and fundamentals : a first course in abstract mathematics

by

Bloch, Ethan D., 1956-

Author

Bloch, Ethan D., 1956-

Format:

Call Number

QA9.54 B57 2011

Edition

2nd ed.

Publisher

Springer,

Publication Date

2011

ISBN

9781441971265 9781441971272

Available:
Holds:
Copies:

SD_ILS:765517

3.

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

4.

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

5.

Cover image for The nuts and bolts of proofs

The nuts and bolts of proofs

The nuts and bolts of proofs

by

Cupillari, Antonella

Author

Cupillari, Antonella

Format:

Call Number

QA9.54 C86 2005

Edition

3rd ed.

Publisher

Elsevier Academic Press,

Publication Date

2005

ISBN

9780120885091

Available:
Holds:
Copies:

SD_ILS:439054

6.

Cover image for Proofs and fundamentals : a first course in abstract mathematics

Proofs and fundamentals : a first course in abstract mathematics

by

Bloch, Ethan D., 1956-

Author

Bloch, Ethan D., 1956-

Format:

Call Number

QA9.54 B56 2000

Publisher

Birkhauser,

Publication Date

2000

ISBN

9780817641115

Available:
Holds:
Copies:

SD_ILS:294183

7.

Cover image for Journey into mathematics : an introduction to proofs

Journey into mathematics : an introduction to proofs

by

Rotman, Joseph J., 1934-

Author

Rotman, Joseph J., 1934-

Format:

Call Number

QA9.54 R67 1998

Publisher

Prentice Hall,

Publication Date

1998

ISBN

9780138423605

Available:
Holds:
Copies:

SD_ILS:470294

8.

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

9.

Cover image for How to read and do proofs : an introduction to mathematical thought process

How to read and do proofs : an introduction to mathematical thought process

How to read and do proofs : an introduction to mathematical thought process

by

Solow, Daniel

Author

Solow, Daniel

Format:

Call Number

QA9.54 S64 1982

Publisher

John Wiley,

Publication Date

1982

Available:
Holds:
Copies:

SD_ILS:95778

10.

Cover image for Algebra of proofs

Algebra of proofs

Algebra of proofs

by

Szabo, M. E.

Author

Szabo, M. E.

Format:

Call Number

QA9.54 S94 1978

Publisher

North-Holland,

Publication Date

1978

ISBN

9780720422863

Available:
Holds:
Copies:

SD_ILS:484457

11.

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