Discrete structures, logic, and computability /

Discrete structures, logic, and computability /

Includes bibliographical reference

Bibliographic Details
Main Author:	437766 Hein, James L.
Format:
Language:	eng
Published:	Sudbury, Mass. : Jones and Bartlett Publishers, 2010
Subjects:	Computer science Logic programming Data structures (Computer science) Logic, Symbolic and mathematical Computable functions.

Similar Items

Logic and structured design for computer programmers /
by: 405314 Rood, Harold J.
Published: (2001)

Computation, logic, philosophy : a collection of essays /
by: 263016 Wang, Hao
Published: (1990)

Logic functions and equations : binary models for computer science /
by: 229947 Posthoff, Christian, et al.
Published: (2004)

Logic for applications /
by: 464149 Nerode, Anil, et al.
Published: (1997)

Logic and structured design for computer programmers /
by: 405314 Rood, Harold J.
Published: (1992)

Logic and structured design for computer programmers /
by: 405314 Rood, Harold J.
Published: (1985)

Discrete structures with contemporary applications /
by: 175168 Stanoyevitch, Alexander
Published: (c201)

The logical basis for computer programming /
by: 179321 Manna, Zohar, et al.
Published: (1985)

Discrete mathematics and its applications /
by: 243007 Rosen, Kenneth H.
Published: (2007)

Logic functions and equations : examples and exercises /
by: 425406 Steinbach, Bernd, et al.
Published: (2009)

On the system CL12 of computability logic
by: Giorgi Japaridze
Published: (2015-07-01)

Computability and logic /
by: 386993 Boolos, George, et al.
Published: (1989)

Logic : a foundation for computer science /
by: 307739 Sperschneider, V., et al.
Published: (1993)

Logic for computer scientists /
by: 316142 Schoning, Uwe
Published: (2008)

Mathematical logic in computer science /
by: Domolki, B., et al.
Published: (1981)

The logic of programming /
by: 395286 Hehner, Eric C. R.
Published: (1984)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
by: Hajime Ishihara
Published: (2014-08-01)

On the logical complexity of cyclic arithmetic
by: Anupam Das
Published: (2020-01-01)

Modal meet-implication logic
by: Jim de Groot, et al.
Published: (2022-07-01)

On noncommutative extensions of linear logic
by: Sergey Slavnov
Published: (2019-09-01)

Dynamic Cantor Derivative Logic
by: David Fernández-Duque, et al.
Published: (2023-12-01)

Conditional logic in expert /
by: Goodman, I. R.
Published: (1991)

The logical strength of B\"uchi's decidability theorem
by: Leszek Kołodziejczyk, et al.
Published: (2019-05-01)

Non-classical logic, model theory and computability
Published: (1977)

Some observations on the logical foundations of inductive theorem proving
by: Stefan Hetzl, et al.
Published: (2018-04-01)

Tameness in least fixed-point logic and McColm's conjecture
by: Siddharth Bhaskar, et al.
Published: (2021-01-01)

Logics of specification languages /
by: Bjorner, D. (Dines), 1937-, et al.
Published: (2008)

The logic design of transistor digital computers/
by: Maley, Gerald A, et al.
Published: (1963)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Thomas Powell
Published: (2024-01-01)

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
by: Bart Jacobs
Published: (2015-10-01)

Foundations of logic and mathematics : applications to computer science and cryptography /
by: 218147 Nievergelt, Yves
Published: (2002)

Computability of 1-manifolds
by: Konrad Burnik, et al.
Published: (2014-06-01)

Making first order linear logic a generating grammar
by: Sergey Slavnov
Published: (2023-11-01)

Compact manifolds with computable boundaries
by: Zvonko Iljazovic
Published: (2013-12-01)

Games as mathematics of logic and computation
by: Yamada, N
Published: (2017)

A programming logic : with an introduction to the PL/CV verifier /
by: 422720 Constable, Robert L., et al.
Published: (1978)

Bounded Arithmetic in Free Logic
by: Yoriyuki Yamagata
Published: (2012-08-01)

Effective zero-dimensionality for computable metric spaces
by: Robert Kenny
Published: (2015-03-01)

Representations of measurable sets in computable measure theory
by: Klaus Weihrauch, et al.
Published: (2014-08-01)