Logic, sets, and recursion /

Logic, sets, and recursion /

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Causey, Robert L.
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston : Jones and Bartlett, �1994.
Σειρά:	Jones and Bartlett series in computer science.
Θέματα:	Logic, Symbolic and mathematical. MATHEMATICS > General. Electronic books.
Διαθέσιμο Online:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=25586

Παρόμοια τεκμήρια

In the light of logic /
ανά: Feferman, Solomon
Έκδοση: (1998)

An introduction to practical formal methods using temporal logic /
ανά: Fisher, Michael, 1962-
Έκδοση: (2011)

Qualitative Spatial and Temporal Reasoning.
ανά: Ligozat, Gérard
Έκδοση: (2012)

Schaum's outline of theory and problems of discrete mathematics /
ανά: Lipschutz, Seymour
Έκδοση: (1997)

Recursive algorithms /
ανά: Lorentz, Richard
Έκδοση: (1994)

Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001)

Managerial logic /
ανά: Raynaud, Hervé
Έκδοση: (2011)

Foundations of algorithms : using C++ pseudocode /
ανά: Neapolitan, Richard E.
Έκδοση: (1998)

Psychology and religion /
ανά: Jung, C. G. (Carl Gustav), 1875-1961
Έκδοση: (1966)

A Course in Mathematical Logic for Mathematicians
ανά: Manin, IU I.
Έκδοση: (2010)

Theory of computation /
ανά: Tourlakis, George J.
Έκδοση: (2012)

Notes on Set Theory
ανά: Moschovakis, Yiannis
Έκδοση: (2006)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2012)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2008)

Handbook of Set Theory
ανά: Foreman, Matthew
Έκδοση: (2010)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ανά: Benthem, Johan
Έκδοση: (2006)

Temporality : universals and variation /
ανά: Bittner, Maria
Έκδοση: (2014)

Problems and Theorems in Classical Set Theory
ανά: KomjΓ'th, PΓ©ter
Έκδοση: (2006)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Έκδοση: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Έκδοση: (2017)

100 Mathematical proof /
ανά: Garnier, Rowan
Έκδοση: (1996)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
ανά: Kaiser, Łukasz
Έκδοση: (2011)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ανά: Lau, Dietlinde
Έκδοση: (2006)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Έκδοση: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Έκδοση: (2013)

Mathematical Logic Foundations for Information Science
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2006)

18 Unconventional Essays on the Nature of Mathematics
ανά: Hersh, Reuben 1927-
Έκδοση: (2006)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Έκδοση: (2013)

Blood will out : essays on liquid transfers and flows /
Έκδοση: (2013)

Logica Universalis Towards a General Theory of Logic
ανά: Beziau, Jean-Yves
Έκδοση: (2005)

Set Theory Centre de Recerca MatemΓ tica Barcelona, 2003β2004
ανά: Bagaria, Joan
Έκδοση: (2006)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση: (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 /
Έκδοση: (2014)

The elements of Cantor sets : with applications /
ανά: Vallin, Robert W.
Έκδοση: (2013)

Propositional and Predicate Calculus A Model of Argument
ανά: Goldrei, Derek
Έκδοση: (2005)

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

Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
ανά: Yengui, Ihsen
Έκδοση: (2015)

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
Έκδοση: (2011)

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

Cannot write session to /tmp/vufind_sessions/sess_3ded6ni0hppuqkg1g0qamalvb2