Search results for 'Proof theory Study and teaching' (try it on Scholar)

1000+ found
Sort by:
  1. Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) (2009). Teaching and Learning Proof Across the Grades: A K-16 Perspective. Routledge.score: 690.0
    Collectively these essays inform educators and researchers at different grade levels about the teaching and learning of proof at each level and, thus, help ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Paul Roberts & Mike Redmayne (eds.) (2007). Innovations in Evidence and Proof: Integrating Theory, Research and Teaching. Hart.score: 636.0
  3. Maurice Joseph Burke (ed.) (2008). Navigating Through Reasoning and Proof in Grades 9-12. National Council of Teachers of Mathematics.score: 462.0
    No categories
     
    My bibliography  
     
    Export citation  
  4. Wendell V. Harris (1987). Beyond Deconstruction: The Uses and Abuses of Literary Theory_, And: _Interpretive Conventions: The Reader in the Study of American Fiction_, And: _Textual Power: Literary Theory and the Teaching of English (Review). Philosophy and Literature 11 (2):317-329.score: 405.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Housheng Duan (2011). Zheng Ming Ping Jia Yuan Li: Jian Ji Dui Min Shi Su Song Fang Fa Lun de Tan Tao = the Theory of Proof Evaluation: With Some Study of the Civil Procedure Methodology. Fa Lü Chu Ban She.score: 405.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. H. Wansing (ed.) (1996). Proof Theory of Modal Logic. Kluwer.score: 369.0
    Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.score: 369.0
    Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.score: 292.5
    In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.score: 288.0
    The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.score: 288.0
    Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. (...)
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  11. A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..score: 288.0
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Jeffrey P. Schloss (2006). 'Evolutionary Theory and Religious Belief. In Philip Clayton & Zachory Simpson (ed.), The Oxford Handbook of Religion and Science. Oxford University Press. 198.score: 286.0
    Accession Number: ATLA0001712127; Hosting Book Page Citation: p 187-206.; Physical Description: table ; Language(s): English; General Note: Bibliography: p 204-206.; Issued by ATLA: 20130825; Publication Type: Essay.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Sue Thornham (2000). Feminist Theory and Cultural Studies: Stories of Unsettled Relations. Arnold.score: 270.0
    Feminist theory is a central strand of cultural studies. This book explores the history of feminist cultural studies from the early work of Mary Wollstonecraft, Charlotte Perkins Gilman, Virginia Woolf, Simone de Beauvoir, through the 1970s Women's Liberation Movement. It also provides a comprehensive introduction to the contemporary key approaches, theories and debates of feminist theory within cultural studies, offering a major re-mapping of the field. It will be an essential text for students taking courses within both cultural (...)
     
    My bibliography  
     
    Export citation  
  14. Lars Hallnäs (2006). On the Proof-Theoretic Foundation of General Definition Theory. Synthese 148 (3):589 - 602.score: 265.5
    A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind of a more general definition theory. Among the examples discussed is a suggestion for a more abstract definition (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Theophilus Mooko * (2005). The Use of Research and Theory in English Language Teaching in Botswana Secondary Schools. Educational Studies 31 (1):39-53.score: 264.0
    The purpose of this study was to establish the usage of research and theory in the teaching of English language in secondary schools in Botswana. Altogether 100 questionnaires were administered in 19 secondary schools. The results of this study indicate that teachers rarely ever refer to language research in their teaching. Less value was also placed on the theoretical information acquired during training. The respondents indicated that their teaching is essentially based on utilizing their (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. S. Parsons, P. J. Barker & A. E. Armstrong (2001). The Teaching of Health Care Ethics to Students of Nursing in the UK: A Pilot Study. Nursing Ethics 8 (1):45-56.score: 261.0
    Senior lecturers/lecturers in mental health nursing (11 in round one, nine in round two, and eight in the final round) participated in a three-round Delphi study into the teaching of health care ethics (HCE) to students of nursing. The participants were drawn from six (round one) and four (round three) UK universities. Information was gathered on the organization, methods used and content of HCE modules. Questionnaire responses were transcribed and the content analysed for patterns of interest and areas (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Richard Scheines, Matt Easterday & David Danks (2007). Teaching the Normative Theory of Causal Reasoning. In Alison Gopnik & Laura Schulz (eds.), Causal Learning: Psychology, Philosophy, and Computation. Oxford University Press. 119--38.score: 261.0
    There is now substantial agreement about the representational component of a normative theory of causal reasoning: Causal Bayes Nets. There is less agreement about a normative theory of causal discovery from data, either computationally or cognitively, and almost no work investigating how teaching the Causal Bayes Nets representational apparatus might help individuals faced with a causal learning task. Psychologists working to describe how naïve participants represent and learn causal structure from data have focused primarily on learning from (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Arnon Avron, The Semantics and Proof Theory of Linear Logic.score: 238.5
    Linear logic is a new logic which was recently developed by Girard in order to provide a logical basis for the study of parallelism. It is described and investigated in Gi]. Girard's presentation of his logic is not so standard. In this paper we shall provide more standard proof systems and semantics. We shall also extend part of Girard's results by investigating the consequence relations associated with Linear Logic and by proving corresponding str ong completeness theorems. Finally, we (...)
     
    My bibliography  
     
    Export citation  
  19. Thomas Studer (2008). On the Proof Theory of the Modal Mu-Calculus. Studia Logica 89 (3):343 - 363.score: 238.5
    We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to derive the truth of a greatest fixed point from the truth of each of its (infinitely many) approximations. Then we recall a second infinitary calculus which is based on non-well-founded trees. In this system proofs are finitely branching but may contain infinite branches as long as some greatest fixed point is unfolded infinitely (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. G. Thomas Goodnight (2008). Strategic Maneuvering in Direct to Consumer Drug Advertising: A Study in Argumentation Theory and New Institutional Theory. [REVIEW] Argumentation 22 (3):359-371.score: 234.0
    New Institutional Theory is used to explain the context for argumentation in modern practice. The illustration of Direct to Consumer Drug advertising is deployed to show how communicative argument between a doctor and patient is influenced by force exogenous to the practice of medicine. The essay shows how strategic maneuvering shifts the burden of proof within institutional relations.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Toshiyasu Arai (2000). Troelstra AS. Realizability. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 407–473. [REVIEW] Bulletin of Symbolic Logic 6 (4):470-471.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Toshiyasu Arai (2000). Buss Sam. Preface. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pv. [REVIEW] Bulletin of Symbolic Logic 6 (4):463-464.score: 232.5
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Toshiyasu Arai (2000). Constable Robert L.. Types in Logic, Mathematics and Programming. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 683–786. [REVIEW] Bulletin of Symbolic Logic 6 (4):476-477.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Helmut Pfeiffer (1989). Girard Jean-Yves. Proof Theory and Logical Complexity. Volume I. Studies in Proof Theory, No. 1. Bibliopolis, Naples 1987, Also Distributed by Humanities Press, Atlantic Highlands, NJ, 503 Pp. [REVIEW] Journal of Symbolic Logic 54 (4):1493-1494.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Wolfram Pohlers (1996). Pure Proof Theory. Mathematicians Are Interested in Structures. There is Only One Way to Find the Theorems of a Structure. Start with an Axiom System for the Structure and Deduce the Theorems Logically. These Axiom Systems Are the Objects of Proof-Theoretical Research. Studying Axiom Systems There is a Series of More. [REVIEW] Bulletin of Symbolic Logic 2 (2).score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Toshiyasu Arai (2000). Buss Samuel R.. First-Order Proof Theory of Arithmetic. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 79–147. [REVIEW] Bulletin of Symbolic Logic 6 (4):465-466.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Toshiyasu Arai (2000). Buss Samuel R.. An Introduction to Proof Theory. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pv, Pp. 1–78. [REVIEW] Bulletin of Symbolic Logic 6 (4):464-465.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Toshiyasu Arai (2000). Fairtlough Matt and Wainer Stanley S.. Hierarchies of Provably Recursive Functions. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 149–207. [REVIEW] Bulletin of Symbolic Logic 6 (4):466-467.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Toshiyasu Arai (2000). Japaridze Giorgi and Jongh Dick De. The Logic of Provability. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 475–546. [REVIEW] Bulletin of Symbolic Logic 6 (4):472-473.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Toshiyasu Arai (2000). Jäger Gerhard and Stärk Robert F.. A Proof-Theoretic Framework for Logic Programming. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 639–682. [REVIEW] Bulletin of Symbolic Logic 6 (4):475-476.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Toshiyasu Arai (2000). Pudlák Pavel. The Lengths of Proofs. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 547–637. [REVIEW] Bulletin of Symbolic Logic 6 (4):473-475.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Toshiyasu Arai (2000). Pohlers Wolfram. Subsystems of Set Theory and Second-Order Number Theory. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 209–335. [REVIEW] Bulletin of Symbolic Logic 6 (4):467-469.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Gerhard Jäger (1991). Buchholz Wilfried and Schütte Kurt. Proof Theory of Impredicative Subsystems of Analysis. Studies in Proof Theory. Bibliopolis, Naples 1988, 122 Pp. [REVIEW] Journal of Symbolic Logic 56 (1):332-333.score: 232.5
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. M. F. Peschl, G. Bottaro, M. Hartner-Tiefenthaler & K. Rötzer (2014). Authors' Response: Challenges in Studying and Teaching Innovation: Between Theory and Practice. Constructivist Foundations 9 (3):440-446.score: 231.0
    Upshot: This response focuses on the following issues, which summarize the points made by the commentaries: (i) further reflection on and details of the methodological framework that was applied to studying the proposed design of our innovation course, (ii) the issue of generalizability of the findings for teaching innovation (in this context the question of generic or transferable skills will become central), and (iii) finally, more precise explanation of what we mean by “learning from the future as it emerges.”.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.score: 216.0
    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Ryo Takemura (2013). Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Studia Logica 101 (1):157-191.score: 216.0
    Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. Samuel R. Buss (ed.) (1998). Handbook of Proof Theory. Elsevier.score: 216.0
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.score: 216.0
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Irving H. Anellis (2012). Jean van Heijenoort's Contributions to Proof Theory and Its History. Logica Universalis 6 (3-4):411-458.score: 216.0
    Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. George R. Exner (1997). An Accompaniment to Higher Mathematics. Springer.score: 216.0
    This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique famililar to any mathematician, but rarely taught); it provides practice by indicating explicitly where work with pencil and paper must interrupt reading. The book then turns (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Arnon Avron, The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.score: 211.5
    Until not too many years ago, all logics except classical logic (and, perhaps, intuitionistic logic too) were considered to be things esoteric. Today this state of a airs seems to have completely been changed. There is a growing interest in many types of nonclassical logics: modal and temporal logics, substructural logics, paraconsistent logics, non-monotonic logics { the list is long. The diversity of systems that have been proposed and studied is so great that a need is felt by many researchers (...)
     
    My bibliography  
     
    Export citation  
  42. Clare Hemmings (2011). Why Stories Matter: The Political Grammar of Feminist Theory. Duke University Press.score: 207.0
    Progress -- Loss -- Return -- Amenability -- Citation tactics -- Affective subjects.
     
    My bibliography  
     
    Export citation  
  43. Richard C. Whitfield (ed.) (1976). Theory of Knowledge Course: Syllabus and Teachers' Notes. Department of Education, University of Aston in Birmingham [for] the International Baccalaureate Office.score: 207.0
     
    My bibliography  
     
    Export citation  
  44. Jeff Edmonds (2008). How to Think About Algorithms. Cambridge University Press.score: 206.0
    There are many algorithm texts that provide lots of well-polished code and proofs of correctness. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author helps students avoid the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. Part of the goal (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Sara Negri & Jan von Plato (2001). Structural Proof Theory. Cambridge University Press.score: 204.0
    A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Hunter McEwan (1991). English Teaching and the Weight of Theory. Studies in Philosophy and Education 11 (2):113-121.score: 199.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Paolo Maffezioli & Alberto Naibo (forthcoming). Proof Theory of Epistemic Logic of Programs. Logic and Logical Philosophy.score: 195.0
    A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.score: 195.0
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Luciano Serafini & Fausto Giunchiglia (2002). ML Systems: A Proof Theory for Contexts. [REVIEW] Journal of Logic, Language and Information 11 (4):471-518.score: 195.0
    In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  50. Stefano Baratella & Andrea Masini (2004). An Approach to Infinitary Temporal Proof Theory. Archive for Mathematical Logic 43 (8):965-990.score: 195.0
    Aim of this work is to investigate from a proof-theoretic viewpoint a propositional and a predicate sequent calculus with an ω–type schema of inference that naturally interpret the propositional and the predicate until–free fragments of Linear Time Logic LTL respectively. The two calculi are based on a natural extension of ordinary sequents and of standard modal rules. We examine the pure propositional case (no extralogical axioms), the propositional and the first order predicate cases (both with a possibly infinite set (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000