Logica
Resource Information
The concept Logica represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Logica
Resource Information
The concept Logica represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Logica
- Source
- gtt
83 Items that share the Concept Logica
Context
Context of LogicaSubject of
No resources found
No enriched resources found
- A logical approach to philosophy : essays in honour of Graham Solomon
- A resolution principle for a logic with restricted quantifiers
- ACM transactions on computational logic
- Algebra and logic
- An introduction to independence for analysts
- Aristotle and logical theory
- Axiomatic set theory
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
- Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings
- Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
- Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers
- Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
- Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
- Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
- Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
- Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
- Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Conditionals
- Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
- Das verhältnis der logik zur mengenlehre
- Die Lehre vom Urteil
- Du cheminement de la penseé
- Essays in logic and ontology
- From the act of judging to the sentence : the problem of truth bearers from Bolzano to Tarski
- Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
- Handbook of philosophical logic
- Handbook of the history of logic
- Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
- Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
- Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
- Introduction to logic
- Journal of logic and computation
- Kant's idealism : new interpretations of a controversial doctrine
- Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
- Logic and how it gets that way
- Logic in linguistics
- Logic, or, The art of thinking : containing, besides common rules, several new observations appropriate for forming judgment
- Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logical investigations
- Logicism, intuitionism, and formalism : what has become of them?
- Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings
- Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
- Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings
- Modality and tense : philosophical papers
- Music theory and analysis : the limitations of logic
- Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
- Necessity & possibility : the logical strategy of Kant's critique of pure reason
- Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
- Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
- Nonmonotonic logics : basic concepts, results, and techniques
- On the purity of the art of logic : the shorter and the longer treatises
- Papers in philosophical logic
- Philosophical logic
- Philosophy of logics
- Problems and theorems in classical set theory
- Proceedings
- Proceedings of the Second Scandinavian Logic Symposium
- Psychoanalyse und logik ; : individuell-logische Untersuchungen aus der psychoanalytischen Praxis,
- Reductive logic and proof-search : proof theory, semantics, and control
- Sense and contradiction : a study in Aristotle
- Studies in logical theory: essays
- Summulae de dialectica
- Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
- The Logic of Infinity
- The Souslin problem
- The axiom of constructibility : a guide for the mathematician
- The nature and structure of content
- Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
- Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
- Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
- Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
- Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
- Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
- Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers
- Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
- Varieties of logic
- Yorick's world : science and the knowing subject
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/a7Kirds_mS0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/a7Kirds_mS0/">Logica</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Logica
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/a7Kirds_mS0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/a7Kirds_mS0/">Logica</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
