Search Results for Logic, Symbolic and mathematical

Select an Action

3 Results Found

000MAIN

Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester)

Author

Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), Gandy, R. O., Yates, C. M. E.

Format:

Call Number

QA9.A1 L64 1969-

Publisher

North-Holland,

Publication Date

2020 2019 2018 2017 2016

Available:
Holds:
Copies:

Logic Colloquium

Author

Logic Colloquium, Gandy, R. O.

Format:

Call Number

QA9.A1 L64 1973

Publisher

North-Holland,

Publication Date

2020 2019 2018 2017 2016

Available:
Holds:
Copies:

Turing, Alan Mathison

Author

Turing, Alan Mathison, Gandy, R. O., Yates, C. M. E.

Format:

Call Number

QA9.2 T87 2001

Publisher

North-Holland,

Publication Date

2001

ISBN

9780444504234

Available:
Holds:
Copies:

Select an Action

	{displayName}	{count}
{error}