Deakin University / All Locations

Result Page

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 124)
Logica.
1 2000 Adaptive thinking : rationality in the real world Gigerenzer, Gerd Rating: Electronic Resources
2 1995 Advances in linear logic Rating: Electronic Resources
3 2005 Against the logicians Sextus, Empiricus Rating: Electronic Resources
4 2006 The age of alternative logics : assessing philosophy of logic and mathematics today Rating: Electronic Resources More...
5 2008 Analysis and synthesis of logics : how to cut and paste reasoning systems Rating: Electronic Resources More...
6 2022 Analyzing the logic of Sun Tzu in "The art of war", using mind maps Emde Boas, P. van, author. Singapore : Springer, 2022 Rating: Electronic Resources
7 2007 Aristotle on definition Deslauriers, Marguerite, 1956- Rating: Electronic Resources More...
8 2012 Around and beyond the square of opposition Rating: Electronic Resources More...
9 2007 The art and logic of Ramon Llull : a user's guide Bonner, Anthony Leiden ; Boston : Brill, 2007 Rating: Electronic Resources More...
10 1992 Avicenna Goodman, Lenn Evan, 1944- Rating: Electronic Resources
11 2001 Biblical semantic logic : a preliminary analysis Gibson, Arthur, 1943- author. Sheffield : Sheffield Academic Press, [2001] Rating: Electronic Resources
12 1995 Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings Berlin ; New York : Springer, ©1995 Rating: Electronic Resources
13 2002 Computability and logic Boolos, George. 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey Rating: Electronic Resources
14 1996 Computability, enumerability, unsolvability : directions in recursion theory Rating: Electronic Resources
15 2011 Computational logic and human thinking : how to be artificially intelligent Kowalski, Robert. Rating: Electronic Resources
16 1993 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic) Berlin ; New York : Springer-Verlag, 1993 Rating: Electronic Resources
17 1991 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany) Rating: Electronic Resources
18 1993 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy) Berlin ; New York : Springer-Verlag, ©1993 Rating: Electronic Resources
19 1994 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales) Rating: Electronic Resources
20 1995 Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland) Rating: Electronic Resources
21 1996 Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) Rating: Electronic Resources
22 2002 Confusion : a study in the theory of knowledge Camp, Joseph L. Rating: Electronic Resources More...
23 1940 The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Gödel, Kurt Princeton : Princeton University Press : H. Milford, Oxford University Press, 1940 Rating: Electronic Resources
24 2007 Contradiction in motion : Hegel's organic concept of life and value Hahn, Songsuk Susan Ithaca : Cornell University Press, 2007 Rating: Electronic Resources
25 1982 The core model Dodd, A. (Anthony), 1952- Rating: Electronic Resources
26 2008 A course on mathematical logic Srivastava, S. M. (Shashi Mohan) Rating: Electronic Resources More...
27 1988 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany) Rating: Electronic Resources
28 1990 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings Berlin : Springer-Verlag, ©1990 Rating: Electronic Resources
29 2009 A dictionary of philosophical logic Cook, Roy T., 1972- Rating: Electronic Resources More...
30 2009 Dictionary of Philosophical Logic Rating: Electronic Resources
31 2007 Donald Davidson's truth-theoretic semantics LePore, Ernest, 1950- Rating: Electronic Resources
32 2006 Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language McGinn, Marie Rating: Electronic Resources
33 2006 Enthymemes in the letters of Paul Debanné, Marc J Rating: Electronic Resources
34 2004 A first course in logic : an introduction to model theory, proof theory, computability, and complexity Hedman, Shawn Rating: Electronic Resources
35 2012 Formal languages in logic : a philosophical and cognitive analysis Novaes, Catarina Dutilh. Rating: Electronic Resources
36 2003 Free logic : selected essays Lambert, Karel, 1928- Rating: Electronic Resources More...
37 2005 Frege's logic Macbeth, Danielle, author. Cambridge, Massachusetts : Harvard University Press, 2005 Rating: Electronic Resources More...
38 2005 From the act of judging to the sentence : the problem of truth bearers from Bolzano to Tarski Rojszczak, Artur. Rating: Electronic Resources More...
39 1994 Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings Rating: Electronic Resources
40 2001- Handbook of philosophical logic 2nd ed Rating: Electronic Resources More...
41 2007 Handbook of philosophical logic. 2nd ed Rating: Electronic Resources More...
42 2008 Heiberg's Contingency regarded from the point of view of logic and other texts Copenhagen, Denmark : Museum Tusculanum Press, 2008 Rating: Electronic Resources
43 1994 Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands) Rating: Electronic Resources
44 1994 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings Berlin ; New York : Springer-Verlag, ©1994 Rating: Electronic Resources
45 1994 Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings Berlin ; New York : Springer-Verlag, ©1994 Rating: Electronic Resources
46 2002 The iconic logic of Peirce's graphs Shin, Sun-Joo. ©2002 Rating: Electronic Resources
47 2022 Inquisitive logic : consequence and inference in the realm of questions Ciardelli, Ivano, author. Cham : Springer, 2022 Rating: Electronic Resources
48 1997 Intermediate logic Bostock, David. Rating: Electronic Resources More...
49 1987 An introduction to independence for analysts Dales, H. G. (Harold G.), 1944- Rating: Electronic Resources
50 2012 Introduction to mathematical structures and proofs Gerstein, Larry J. 2nd ed Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Result Page

Return to Browse Limit/Sort Search

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating:

Rating: