Results for 'Logic, Symbolic and mathematical'

896 found
Order:
  1.  52
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   106 citations  
  2. Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  3.  10
    Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
  4.  73
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  11
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  6.  71
    Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2009 - New York: Springer.
    This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  7. Compound statements and mathematical logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio,: C.E. Merrill Books.
  8.  28
    (1 other version)Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
  9.  50
    (1 other version)Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  10.  18
    Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
  11. Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
     
    Export citation  
     
    Bookmark  
  12. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  13.  25
    Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.
  14.  21
    Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Stanisław Krajewski.Marcin Trepczyński (ed.) - 2021 - Boston: Brill | Rodopi.
    _Philosophical Approaches to the Foundations of Logic and Mathematics_ consists of eleven articles addressing various aspects of the "roots" of logic and mathematics, their basic concepts and the mechanisms that work in the practice of their use.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  65
    (2 other versions)Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - New York,: American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  16.  14
    Laws of form.George Spencer-Brown - 1969 - New York,: Julian Press.
  17.  10
    Language, logic, and mathematics.Cliff W. Kilmister - 1967 - New York,: Barnes & Noble.
  18.  15
    Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985.J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987 - Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  18
    Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
  20.  89
    Advances in Experimental Philosophy of Logic and Mathematics.Andrew Aberdein & Matthew Inglis (eds.) - 2019 - London: Bloomsbury Academic.
    This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  8
    Symbolic logic, method and development.Henry Bradford Smith - 1927 - New York,: F. S. Crofts & Co..
  22. Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31.Massimo Mugnai - 2011 - Bulletin of Symbolic Logic 17 (2):270-271.
     
    Export citation  
     
    Bookmark  
  23.  15
    Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979.Laurence Jonathan Cohen (ed.) - 1982 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
  24.  13
    Cours de logique mathématique. 3. Récursivité et constructibilité.Roland Fraïssé - 1975 - Gauthier-Villars Nauwelaerts.
  25. Introduction to symbolic logic and its applications.Rudolf Carnap - 1958 - New York,: Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  26.  9
    Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  43
    Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  28.  45
    Logic, methodology, and philosophy of science.Ernest Nagel (ed.) - 1962 - Stanford, Calif.,: Stanford University Press.
  29. Testability and meaning (part 1).Rudolf Carnap - 1936 - Philosophy of Science 3 (4):420-71.
    Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   234 citations  
  30.  59
    Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: W. de Gruyter.
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  8
    Logic: Mathematics, Language, Computer Science, and Philosophy.H. C. M. De Swart - 1993 - Peter Lang.
    Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  15
    Logic and discrete mathematics: a concise introduction.Willem Conradie - 2015 - Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.
    A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  42
    Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  34.  13
    (2 other versions)Logic: The Basics.Jc Beall - 2010 - New York: Routledge.
    _Logic: The Basics_ is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: · mathematical preliminaries · propositional logic · quantified logic · English and standard ‘symbolic translations’ · tableau procedures. Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  35. A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..
     
    Export citation  
     
    Bookmark   17 citations  
  36.  12
    Logic in elementary mathematics.Robert M. Exner - 1959 - New York,: McGraw-Hill. Edited by Myron Frederick Rosskopf.
    "This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic structure and the relation of theory to interpretation. No prior training in logic is necessary, and numerous examples and exercises aid in the mastery of the language of logic. 1959 edition"--.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  46
    Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
    SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  38. Logik, Semantik, Hermeneutik.Christiane Weinberger & Ota Weinberger - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (4):495-497.
     
    Export citation  
     
    Bookmark   3 citations  
  39.  14
    Logic, computers, and sets.Hao Wang - 1962 - New York,: Chelsea Pub. Co..
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  75
    Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41. Grundzüge der Symbolischen Logik.Hans Reichenbach, Stephan H. A. Bayerl & Matthias Varga von Kibéd - 1999
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  42.  9
    Tractarian semantics: finding sense in Wittgenstein's Tractatus.Peter Carruthers - 1989 - Cambridge, MA, USA: Blackwell.
  43. (1 other version)The logic of chance.John Venn - 1876 - Mineola, N.Y.: Dover Publications.
    No mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity, readability, and sheer charm. Its author, British logician John Venn (1834-1923), popularized the famous Venn Diagrams that are commonly used in teaching elementary mathematics.
     
    Export citation  
     
    Bookmark   97 citations  
  44. Semiotik: eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen.Hans Hermes - 1938 - Hildesheim: Gerstenberg.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  5
    Z zagadnień logiki i filozofii.Jan Łukasiewicz - 1961 - Warszawa,: Państwowe Wydawn. Naukowe.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po prikladnoĭ logike: Novosibirsk, 22-24 okti︠a︡bri︠a︡ 1985 g.: tezisy dokladov.A. A. Malʹt︠s︡ev (ed.) - 1985 - Novosibirsk: In-t matematiki SO AN SSSR.
     
    Export citation  
     
    Bookmark  
  47. Shu xue luo ji yin lun.Zhenhua Ma - 1983 - Beijing: Xin hua shu dian Beijing fa xing suo fa xing.
    No categories
     
    Export citation  
     
    Bookmark  
  48. (1 other version)IV Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ Primenenie metodov matematicheskoĭ logiki: tezisy dokladov: sekt︠s︡ii︠a︡ Logika vzaimodeĭstvui︠u︡shchikh prot︠s︡essov: sekt︠s︡ii︠a︡ Algoritmika trudnykh zadach.G. E. Mint︠s︡ & P. P. Lorents (eds.) - 1986 - Tallin: In-t kibernetiki Akademii nauk Ėstonskoĭ SSR.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Jōhō jidai no ronri: atarashii ronrigaku e no sasoi.Nobuyoshi Motohashi - 1992 - Tōkyō: Nihon Hyōronsha.
     
    Export citation  
     
    Bookmark  
  50.  25
    Logic, methodology and philosophy of science.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
1 — 50 / 896