Loading...

QR Code

Introduction to mathematics of satisfiability /

Bibliographic Details
Main Author:	Marek, Wiktor
Format:	Printed Book
Published:	Boca Raton : CRC Press, c2009.
Series:	Chapman & Hall/CRC studies in informatics series
Subjects:	Propositional calculus. Logic, Symbolic and mathematical.

Similar Items

Introduction to mathematics of satisfiability /
by: Marek, Victor W.
Published: (2009)

Concept and object : the unity of the proposition in logic and psychology /
by: Palmer, Anthony
Published: (1988)

Propositions /
by: Trenton Merricks
Published: (2015)

Introduction to mathematical logic
by: Walicki, Michal
Published: (2012)

Predicate logic /
by: Pospesel, Howard
Published: (1976)

Axiomatic Theory of Sets and Classes
by: Eisenberg.Murray
Published: (1970)

Logic: Informal, Symbolic and Inductive
by: Chakraborti, Chhanda
Published: (2007)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1964)

An introduction to mathematical logic /
by: Hodel, Richard E.
Published: (2013)

Introduction to mathematical logic /
by: Walicki, Michał
Published: (2012)

Introduction to mathematical logic /
by: Walicki, Michał
Published: (2012)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic
by: Walicki, Michał
Published: (2012)

Completeness, compactness, and undecidability : an introduction to mathematical logic /
by: Manaster, Alfred B.
Published: (1975)

Introduction to elementary mathematical logic /
by: Stolyar, A. A.
Published: (1983)

The doctrine of propositions and terms /
by: Prior, A. N.
Published: (1976)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2010)

Introduction to mathematical structures and proofs /
by: Gerstein, Larry J.
Published: (2012)

Pañcalakṣaṇī Siṃhavyāghralakṣaṇe ca : Raghunāthaśiromaṇikr̥tayā Dīdhityā, Gadādharabhaṭṭācāryakr̥tayā Dīdhitiprakāśikayā, En. Es. Rāmānujatātācāryakr̥tayā Dīdhitiprakāśikāvyākhyayā Bālabodhinyā ca saha /
by: Gaṅgeśa
Published: (1979)

Truth and truth bearers (v.2) meaning in context.
by: Mark Richard
Published: (2015)

Introduction to Fuzzy Sets and Fuzzy Logic
by: Ganesh.M
Published: (2006)

Concise introduction to pure mathematics.- 3rd ed. /
by: Liebeck, Martin
Published: (2011)

Mathematical logic /
by: Shoenfield, Joseph R.
Published: (2001)

Mathematical logic
by: Chiswell,Ian, et al.
Published: (2008)

The logic of plurality /
by: Altham, J. E. J.
Published: (1971)

Course of mathematical logic /
by: Fraïssé, Roland
Published: (1973)

Foundations of mathematical logic /
by: Curry, Haskell B.
Published: (1977)

Mathematical fallacies and paradoxes /
by: Bunch, Bryan H.
Published: (1997)

What is mathematical logic? /
by: Crossley,J.N
Published: (1972)

Mathematical logic : foundations for information science /
by: Li, Wei
Published: (2010)

A concise introduction to pure mathematics /
by: Liebeck, M. W.
Published: (2016)

Profile of mathematical logic
by: Delong, Horward
Published: (1970)

A precis of mathematical logic /
by: Bochenski, Joseph M.
Published: (1959)

A profile of mathematical logic /
by: DeLong, Howard
Published: (1970)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1993)

An outline of mathematical logic : fundamental results and notions explained with all details /
by: Grzegorczyk, Andrzej
Published: (1974)

The philosophy of logical atomism /
by: Russell, Bertrand
Published: (2010)

Russell's Logical atomism/
by: Russell, Bertrand
Published: (1972)

Introduction to symbolic logic /
by: Basson, A. H., et al.
Published: (1976)