ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical.)
該当件数:40件
A concise introduction to pure mathematics / Martin Liebeck.
2nd ed.. - Boca Raton : Chapman & Hall/CRC , 2006.. - (Chapman & Hall/CRC mathematics)
図書
Elements of logic via numbers and sets / D.L. Johnson.
London : Springer , c1998.. - New York. - (Springer undergraduate mathematics series)
図書 [BA34974545]
A mathematical introduction to logic / Herbert B. Enderton.
2nd ed.. - San Diego : Harcourt/Academic Press , c2001.
図書 [BA50081314]
Mathematical logic : a course with exercises / René Cori and Daniel Lascar translated by Donald H. Pelletier.
Oxford : Oxford University Press , 2000-<2001 >. - New York
図書 [BA49487763]
An introduction to substructural logics / Greg Restall.
London : Routlege , 2000.. - New York
図書 [BA45117773]
Logic and structure / Dirk van Dalen.
4th ed.. - Berlin : Springer-Verlag , c2004.. - New York. - (Universitext)
図書 [BA66724956]
How to prove it : a structured approach / Daniel J. Velleman.
2nd ed.. - Cambridge : Cambridge University Press , 2006.. - New York
Symbolism and truth; : an introduction to the theory of knowledge.
New York, : Dover Publications , [1964]
Set theory and logic / by Robert R. Stoll.
New York : Dover Publications , 1979, c1963.. - (Dover books on mathematics)
Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
Berlin : Springer , c2008.. - (Monographs in theoretical computer science)
Studies in logic and probability / George Boole.
Mineola, N.Y. : Dover Publications , 2004.. - (Dover phoenix editions)
図書 [BA70690563]
Cogwheels of the mind the story of Venn diagrams / A.W.F. Edwards foreword by Ian Stewart.
Baltimore : Johns Hopkins University Press , 2004.
図書 [BA67465616]
Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.].
Cambridge, UK : Cambridge University Press , 2005.. - New York. - (Cambridge tracts in theoretical computer science ; 56)
Frege's logic / Danielle Macbeth.
Cambridge, MA : Harvard University Press , 2005.
Logic for applications / Anil Nerode, Richard A. Shore.
2nd ed.. - New York : Springer , c1997.. - (Graduate texts in computer science). - (Graduate texts in computer science (Springer-Verlag New York Inc.))
Tractatus logico-philosophicus / Ludwig Wittgenstein translated by D.F. Pears and B.F. McGuinness introduction by Bertrand Russell.
London : Routledge , 2001, c1974.. - New York. - (Routledge classics)
図書 [BA52737279]
Elements of scientific inquiry / Eric Martin and Daniel Osherson.
Cambridge, Mass. : MIT Press , c1998.
図書 [BA36616874]
Zur Logik der Zahl / Eugen Herrigel.
Bühl (Baden) : Konkordia , 1921.
Lectures in logic and set theory / George Tourlakis.
Cambridge, UK : Cambridge University Press , 2003.. - New York. - (Cambridge studies in advanced mathematics ; 82-83)
図書 [BA60165272]
Analysis and logic / authors, C. Ward Henson ... [et al.] edited by Catherine Finet & Christian Michaux.
Cambridge, UK : Cambridge University Press , 2002.. - New York. - (London Mathematical Society lecture note series ; 262)
図書 [BA61078435]
Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.).
Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; ; 1761.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)
図書 [BA45497663]
Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba
Princeton, N.J. : Princeton University Press , c2006
図書 [BA77816604]
Piaget's logic : a critique of genetic epistemology / Muriel Seltman and Peter Seltman.
London : Routledge , 2006.. - New York
Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework / Jonathan Lawry, Jimi Shanahan, Anca Ralescu (eds.).
Berlin : Springer , 2003.. - New York. - (Lecture notes in computer science, ; 2873.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)
図書 [BA64755722]
Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].
Cambridge : Cambridge University Press , 2004.. - (London Mathematical Society lecture note series ; 316)
図書 [BA69078075]
Sets, logic, and categories / Peter J. Cameron.
London : Springer , c1999.. - New York. - (Springer undergraduate mathematics series)
図書 [BA40167989]
Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers.
New York : J. Wiley , c2000.
図書 [BA4849448X]
Logic-based methods for optimization : combining optimization and constraint satisfaction / John Hooker.
New York : John Wiley & Sons , c2000.. - (Wiley-Interscience series in discrete mathematics and optimization)
図書 [BA47725634]
Learning language in logic / James Cussens, Saso Dzeroski, (eds.).
Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; ; 1925.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)
図書 [BA49085850]
The limits of science : outline of logic and of the methodology of the exact sciences / Leon Chwistek introduction and appendix by Helen Charlotte Brodie.
London : Routledge , 2000, c1948.. - (International library of philosophy. Philosophy of logic and mathematics ; ; 3). - (International library of philosophy.). - (Philosophy of logic and mathematics ;)
図書 [BA4928399X]
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, (eds.).
Berlin : Springer , c1997.. - New York. - (Lecture notes in computer science ; 1261)
図書 [BA31712145]
Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.
Dordrecht : Kluwer Academic Publishers , c1995.. - Boston. - (Studies in linguistics and philosophy ; v. 57)
図書 [BA26042961]
Effective logic computation / Klaus Truemper.
New York : Wiley , c1998.
図書 [BA37931072]
Automata, logics, and infinite games / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).
New York : Springer , 2002.. - (Lecture notes in computer science ; 2500)
図書 [BA60719909]
A Boole anthology : recent and classical studies in the logic of George Boole / edited by James Gasser.
Dordrecht : Kluwer Academic Publishers , c2000.. - Boston. - (Synthese library ; v. 291)
図書 [BA48755109]
The Frege reader / edited by Michael Beaney.
Oxford, UK : Blackwell Publishers , 1997.. - Cambridge, Mass.
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / edited by B. Jack Copeland.
Oxford : Clarendon Press , 2004.. - New York : Oxford University Press
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg.
New York : IEEE Press , c1998.. - (IEEE Press understanding science & technology series)
図書 [BA35377596]
Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen.
Amsterdam : Elsevier , 1997.. - New York : MIT Press. - Cambridge, Mass.
Introduction to circuit complexity : a uniform approach / Heribert Vollmer.
Berlin : Springer , c1999.. - New York. - (Texts in theoretical computer science)
図書 [BA42209478]