Logic, sets, and recursion /

Logic, sets, and recursion /

Show other versions (1)

Bibliographic Details
Main Author:	Causey, Robert L.
Format:	eBook
Language:	English
Published:	Boston : Jones and Bartlett, �1994.
Series:	Jones and Bartlett series in computer science.
Subjects:	Logic, Symbolic and mathematical. MATHEMATICS > General. Electronic books.
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=25586

Similar Items

In the light of logic /
by: Feferman, Solomon
Published: (1998)

An introduction to practical formal methods using temporal logic /
by: Fisher, Michael, 1962-
Published: (2011)

Qualitative Spatial and Temporal Reasoning.
by: Ligozat, Gérard
Published: (2012)

Schaum's outline of theory and problems of discrete mathematics /
by: Lipschutz, Seymour
Published: (1997)

Recursive algorithms /
by: Lorentz, Richard
Published: (1994)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (2001)

Managerial logic /
by: Raynaud, Hervé
Published: (2011)

Foundations of algorithms : using C++ pseudocode /
by: Neapolitan, Richard E.
Published: (1998)

Theory of computation /
by: Tourlakis, George J.
Published: (2012)

Psychology and religion /
by: Jung, C. G. (Carl Gustav), 1875-1961
Published: (1966)

A Course in Mathematical Logic for Mathematicians
by: Manin, IU I.
Published: (2010)

Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2012)

Notes on Set Theory
by: Moschovakis, Yiannis
Published: (2006)

Temporality : universals and variation /
by: Bittner, Maria
Published: (2014)

Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2008)

Handbook of Set Theory
by: Foreman, Matthew
Published: (2010)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
by: Benthem, Johan
Published: (2006)

Problems and Theorems in Classical Set Theory
by: KomjΓ'th, PΓ©ter
Published: (2006)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Published: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published: (2017)

100 Mathematical proof /
by: Garnier, Rowan
Published: (1996)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
by: Kaiser, Łukasz
Published: (2011)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
by: Lau, Dietlinde
Published: (2006)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Published: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Published: (2011)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Published: (2013)

Mathematical Logic Foundations for Information Science
by: Li, Wei
Published: (2010)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
by: Gabbay, Dov M., 1945-
Published: (2006)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Published: (2013)

18 Unconventional Essays on the Nature of Mathematics
by: Hersh, Reuben 1927-
Published: (2006)

Blood will out : essays on liquid transfers and flows /
Published: (2013)

Set Theory Centre de Recerca MatemΓ tica Barcelona, 2003β2004
by: Bagaria, Joan
Published: (2006)

Logica Universalis Towards a General Theory of Logic
by: Beziau, Jean-Yves
Published: (2005)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Published: (2009)

The elements of Cantor sets : with applications /
by: Vallin, Robert W.
Published: (2013)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Published: (2009)

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Published: (2014)

Propositional and Predicate Calculus A Model of Argument
by: Goldrei, Derek
Published: (2005)

Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by: Yengui, Ihsen
Published: (2015)

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
Published: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών