Search Results for Mathematics

|

|

|

|

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)

Baxandall, P. R.

(1)

Bittinger, Marvin L.

(1)

Campbell, Connie M.

(1)

(1)

Crossley, John N.

(1)

Eccles, Peter J., 1945-

(1)

Fitting, Melvin, 1942-

(1)

Girard, Jean-Yves

(1)

Halleburg, Arthur E.

(1)

Hanna, G. (Gila), 1934-

(1)

Jahnke, H. N. (Hans Niels), 1948-

(1)

(1)

(1)

Nicholson, Neil R., author

(1)

Oliveira, Suely

(1)

(1)

Plumpton, C. (Charles)

(1)

Poernomo, Iman Hafiz

(1)

Pozzato, Gian Luca

(1)

(1)

Rodgers, Nancy, 1941-

(1)

Rotman, Joseph J., 1934-

(1)

Schiller, Marvin R. G.

(1)

Sentilles, Dennis

(1)

(1)

(1)

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

(1)

Sundstrom, Theodore A.

(1)

(1)

(1)

Wirsing, M. (Martin)

(1)

Wohlgemuth, Andrew

(1)

Language

(25)

Format

(26)

Visual Materials

(2)

Material Type

Non Circulating UTM Archive - Audio Visual

Open Access Book

Subject

Logic, Symbolic and mathematical

(8)

(4)

(3)

Godel's theorem

(2)

Mathematics -- 1961-

(2)

Abstract data types (Computer science)

(1)

Algebraic logic

(1)

Arithmetic -- Foundations

(1)

Categories (Mathematics)

(1)

Curry-Howard isomorphism

(1)

Functional programming (Computer science)

(1)

Intuitionistic mathematics

(1)

Lambda calculus

(1)

Mathematical analysis

(1)

Mathematics -- Philosophy

(1)

Mathematics -- Study and teaching

(1)

Modality (Logic)

(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

28 Results Found

Subscribe to search results

1 2 3

000000000000MAIN

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 proof in abstract mathematics

Introduction to proof in abstract mathematics

Introduction to proof in abstract mathematics

by

Wohlgemuth, Andrew

Author

Wohlgemuth, Andrew

Format:

Call Number

QA9.54 W64 1990

Publisher

Saunders College Pub.,

Publication Date

1990

ISBN

9780030267826

Available:
Holds:
Copies:

SD_ILS:423212

2.

Cover image for A bridge to advanced mathematics

A bridge to advanced mathematics

A bridge to advanced mathematics

by

Sentilles, Dennis

Author

Sentilles, Dennis

Format:

Call Number

QA9 S44 1975

Publisher

William and Wilkins,

Publication Date

1975

ISBN

683075357

Available:
Holds:
Copies:

SD_ILS:148818

3.

Cover image for A Transition to Proof : An Introduction to Advanced Mathematics

A Transition to Proof : An Introduction to Advanced Mathematics

by

Nicholson, Neil R., author

Author

Nicholson, Neil R., author

Format:

Call Number

QA9.54 N54 2019

ISBN

9780367201579

Available:
Holds:
Copies:

SD_ILS:882406

4.

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

5.

Cover image for Proof in mathematics ('if', 'then' and 'perhaps')

Proof in mathematics ('if', 'then' and 'perhaps')

Proof in mathematics ('if', 'then' and 'perhaps')

by

Baxandall, P. R.

Author

Baxandall, P. R.

Format:

Call Number

QA9.54 P76 1978

Publisher

Institute of Education, University of Keele,

Publication Date

1978

Available:
Holds:
Copies:

SD_ILS:476828

6.

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

7.

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

8.

Cover image for Explanation and proof in mathematics : philosophical and educational perspectives

Explanation and proof in mathematics : philosophical and educational perspectives

by

Hanna, G. (Gila), 1934-

Author

Hanna, G. (Gila), 1934-, Jahnke, H. N. (Hans Niels), 1948-, Pulte, Helmut

Format:

Call Number

QA9.54 E97 2010

Publisher

Springer,

Publication Date

2010

ISBN

9781441905758 9781441905765

Available:
Holds:
Copies:

SD_ILS:628452

9.

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

10.

Cover image for Logic II : proof

Logic II : proof

Logic II : proof

Format:

Call Number

KVD 1134

Publisher

Open University,

Publication Date

1999 1998 1997 1996 1995

Available:
Holds:
Copies:

SD_ILS:227904

11.

Cover image for Logic II - proof

Logic II - proof

Logic II - proof

Format:

Call Number

FLM 482

Publisher

Open University,

Available:
Holds:
Copies:

SD_ILS:18548

12.

Cover image for Proof

by

Plumpton, C. (Charles)

Author

Plumpton, C. (Charles), Perry, R. L., Shipton, E.

Format:

Call Number

QA9.54 P58 1984

Publisher

Macmillan Education,

Publication Date

1984

ISBN

9780333867174

Available:
Holds:
Copies:

SD_ILS:175593

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

© 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