proof - ECU Libraries Catalog

Start Over

You searched for: Keywords proof

Showing 21 - 30 of 4423 results

Search Results

Cover image for Applied proof theory

Applied proof theory

by Kohlenbach, U.
2008
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA 9.54 .K64 2008	✔ Available

Cover image for Mechanizing proof

Mechanizing proof

by MacKenzie, Donald A.
2001
Format: Electronic

Location
Access Content Online

Cover image for Living proof

Living proof

by Skellings, Edmund
1985
Format: Book

Location	Call #	Status
Joyner - General Stacks	PS3537.K33 L5 1985	✔ Available
Joyner - Stuart Wright Collection	PS3537.K33 L5 1985	✔ Available

Cover image for You want proof? I'll give you proof!

You want proof? I'll give you proof!

by Harris, Sidney
1991
Format: Book

Location	Call #	Status
Joyner - General Stacks	NC1429.H33315A4 1991	✔ Available

Cover image for Proof theory

Proof theory

by Schütte, K.
1977
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9 .S3613X	✔ Available

Cover image for Abel's Proof

Abel's Proof

by Pesic, Peter
2003
Format: Electronic

Location
Access Content Online

Cover image for Scandal Proof

Scandal Proof

by Mackenzie, G. Calvin
2002
Format: Electronic

Location
Access Content Online

Cover image for Gödel's proof

Gödel's proof

by Nagel, Ernest
1958
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9 .N3	✔ Available

Cover image for Documented proof

Documented proof

by Fields, Edward R.
1969
Format: Electronic

Location
Access Content Online

Cover image for Gödel's proof

Gödel's proof

by Nagel, Ernest
2001
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.65 .N34 2001	✔ Available