Search Results for Logic, Symbolic and mathematical

282 Results Found

1 2 3 4 5 .. 24

000000000000MAIN

Logic and arithemetic

Bostock, David

Author

Bostock, David

Format:

Call Number

QA9 B67 1979

Publisher

Clarendon Press.,

Publication Date

2020 2019 2018 2017 2016

ISBN

9780198243663 9780198245919

Available:
Holds:
Copies:

Proceedings of the summer school and colloqium in mathematical logic

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:

Proceedings of Logic Colloquium

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:

Commonsense reasoning : an event calculus based approach

Mueller, Erik T.

Author

Mueller, Erik T.

Format:

Call Number

Q338.85 M84 2015

Edition

2nd ed.

Publisher

Morgan Kaufmann,

Publication Date

2015

ISBN

9780128014165

Available:
Holds:
Copies:

Infinity and truth

Chong, C.-T. (Chi-Tat), 1949- editor

Author

Chong, C.-T. (Chi-Tat), 1949- editor

Format:

Call Number

QA9.A1 I54 2014

Publisher

World Scientific,

Publication Date

2014

ISBN

9789814571036

Available:
Holds:
Copies:

Alan Turing : his work and impact

Cooper, S. B. (S. Barry), author

Author

Cooper, S. B. (S. Barry), author, Leeuwen, J. van (Jan), author

Format:

Call Number

QA29.T8 C66 2013 f

Publisher

Elsevier,

Publication Date

2013

ISBN

9780123869807

Available:
Holds:
Copies:

Elements of logical reasoning

Von Plato, Jan author

Author

Von Plato, Jan author

Format:

Call Number

QA9 V66 2013

Publisher

Cambridge Univ Pr.,

Publication Date

2013

ISBN

9781107036598 9781107610774

Available:
Holds:
Copies:

What logics mean : from proof theory to model-theoretic semantics

Garson, James W., 1943-

Author

Garson, James W., 1943-

Format:

Call Number

BC71 G37 2013

Publisher

Cambridge University Press,

Publication Date

2013

ISBN

9781107039100

Available:
Holds:
Copies:

Word and object

Quine, W. V. (Willard Van Orman), author

Author

Quine, W. V. (Willard Van Orman), author

Format:

Call Number

B840 Q56 2013

Edition

New edition

Publisher

MIT Press,

Publication Date

2013

ISBN

9780262518314

Available:
Holds:
Copies:

10.

Introduction to mathematical logic

Walicki, Michał

Author

Walicki, Michał

Format:

Call Number

QA9 W354 2012

Publisher

World Scientific,

Publication Date

2012

ISBN

9789814343862 9789814343879

Available:
Holds:
Copies:

11.

Qualitative spatial and temporal reasoning

Ligozat, Gérard

Author

Ligozat, Gérard

Format:

Call Number

Q339.25 L544 2012

Publisher

ISTE ; Wiley,

Publication Date

2012

ISBN

9781848212527

Available:
Holds:
Copies:

12.

Discrete structures with contemporary applications

Stanoyevitch, Alexander

Author

Stanoyevitch, Alexander

Format:

Call Number

QA76.9.M35 S73 2011

Publisher

CRC Press,

Publication Date

2011

ISBN

9781439817681

Available:
Holds:
Copies:

1 2 3 4 5 .. 24

	{displayName}	{count}
{error}