NovaCat - NSU Libraries Catalog user info Skip the menu to the main content
Return To Browse Limit/Sort View/Export Marked Records Clear Saved Records
     

SUBJECTS (1-8 of 8)
Decidability Mathematical Logic

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

The classical decision problem The Classical Decision Problem / Egon Boerger, Erich Grädel, Yuri Gurevich. Boerger, Egon, Springer, 1997. Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Decidability and Boolean representations Decidability And Boolean Representations / Stanley Burris And Ralph McKenzie. Burris, Stanley, American Mathematical Society, [1981]

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Decision problems for equational theories of relation algebras Decision Problems For Equational Theories Of Relation Algebras / Hajnal Andréka, Steven Givant, István Németi. Andréka, H., American Mathematical Society, [1997]

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Deducibility and decidability Deducibility And Decidability R.R. Rockingham Gill. Gill, R. R. Rockingham, Routledge, 1990.

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Induction, Bounding, Weak Combinatorial Principles, And The Homogeneous Model Theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. Hirschfeldt, Denis Roman, American Mathematical Society, 2017.

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Language and Godels Theorem : a revised edition Language And Godels Theorem : A Revised Edition / By Bradley S. Tice, Advanced Human Design, USA. Tice, Bradley S. River Publishers, [2013]

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Publisher description

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Thinking about acting : logical foundations for rational decision making Thinking About Acting : Logical Foundations For Rational Decision Making / John L. Pollock. Pollock, John L. Oxford University Press, 2006. Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Oxford Academic; click here for access
Local access for all registered users. Remote access only for NSU and Broward users.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Thinking about acting : logical foundations for rational decision making Thinking About Acting : Logical Foundations For Rational Decision Making / John L. Pollock. Pollock, John L. Oxford University Press, 2006.
Return To Browse Limit/Sort View/Export Marked Records Clear Saved Records
Use classic NovaCat |