Search Results
Showing 1 - 9 of 9 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 2004 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 2003 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 2000 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 1999 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 1998 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I577 1997 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I577 1996 | ✔ Available |