Search Results
Showing 1 - 10 of 11 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Introduction to mathematical logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .H4413 | ✔ Available |
Term logic with choice operator
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .L28 NO. 6 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .F74 V.1 | ✔ Available |
Einführung in die Verbandstheorie
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA171.5 .H47 1967 | ✔ Available |
Enumerability, decidability, computability;an introduction to the theory of recursive functions
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .H413 | ✔ Available |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .H4 | ✔ Available |