Home  - Science - Logic Mathematical

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

121-136 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Logic Mathematical:     more books (100)

Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series) by D.L. Johnson, 1998-02-27 Introduction to Logic: Propositional Logic, Revised Edition (3rd Edition) by Howard Pospesel, 1999-11-06 How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency (Studies in Logic) by Francesco Berto, 2007-03-15 Introduction to Logic: Predicate Logic (2nd Edition) by Howard Pospesel, 2002-06-29 Proof and Consequence: An Introduction to Classical Logic with SIMON and SIMON SAYS by Nicole A., Friedrich, et all 2006-06-29 Many-Dimensional Modal Logics: Theory and Applications, Volume 148 (Studies in Logic and the Foundations of Mathematics) by A. Kurucz, F. Wolter, et all 2003-11-04 Constructibility (Perspectives in Mathematical Logic) by K. J. Devlin, 1984-07-16 Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Math Logic (Lecture Notes in Mathematics) by venezuel Latin-American Symposium on Mathematical Logic 1983 Caracas, C. A. Di Prisco, 1985-12 Model-Theoretic Logics (Perspectives in Mathematical Logic) Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai) Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs) by V. P. Orevkov, 1993-10-01 General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic) by J. E. Fenstad, 1980-05-06 Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics) by Alfred Tarski, Andrzej Mostowski, et all 2010-08-19 Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) by David Makinson, 2008-09-12

lists with details

121. KLUWER Academic Publishers An Introduction To Mathematical
     An Introduction to mathematical logic and Type Theory To Truth ThroughProof Second Edition. Add to cart. by Peter B. Andrews Dept.  
     http://www.wkap.nl/prod/b/1-4020-0763-9

122. KLUWER Academic Publishers Mathematical Logic
     A Precis of mathematical logic JM Bochenski, Otto Bird July 1960, ISBN 90277-0073-7,Hardbound Printing on Demand Price 118.00 EUR / 149.00 USD / 89.75 GBP  
     http://www.wkap.nl/home/topics/5/B/2/

123. Das Intelligente Studentenportal
     mathematical and Computational Physics; Mathematicsin General; Lehrbücher im Bereich mathematical logic and Foundations,  
     http://www.springer.de/brains/fachbuch/math/mathematical_logic_and_foundations.h

124. Mathematical Logic
     programming, lambda calculus, mathematical logic. There is a closecorrespondence between programs and formal proofs. This is known  
     http://www.imm.dtu.dk/~jsm/node7.html

125. Centre For Logic, Language And Computation
     Skip over navigation, VUW, Centre for logic, Language andComputation. School of mathematical and Computing Sciences,  
     http://www.cllc.vuw.ac.nz/

126. No Match For Mathematical Logic
     No match for mathematical logic. Sorry, the term mathematical logic is not in thedictionary. Check the spelling and try removing suffixes like ing and -s .  
     http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?mathematical logic

127. AMIL
     A mathematical Introduction to logic. by Herbert B. Enderton. Sendmail to the author hbe@math.ucla.edu. Second edition. A second  
     http://www.math.ucla.edu/~hbe/amil/

128. Introduction To Mathematical Logic
     Mathematics 141. Introduction to mathematical logic. An introduction to mathematicallogic with applications to computer science and algebra. Formal languages.  
     http://icg.harvard.edu/0600

129. Mathematical Logic Hots (by Bruno Kevius)
     mathematical logic. not a complete list, only what I happened to see Britishlogic Colloquium; BUBL LINK / 515 Internet Resources mathematical logic;  
     http://www.abc.se/~m9847/matre/logic.html

130. Logic Course
     Math 250 Introduction to mathematical logic Spring 2003 Course Section 1 MWF 1210100 in SC-1117 The main web page for  
     http://www.math.vanderbilt.edu/~schectex/courses/logic/

131. Department Of Mathematical Logic
     Department of mathematical logic. The Department of mathematical logicat the Steklov mathematical Institute was organized in 1957  
     http://www.ras.ru/local.docs/mian/logic.html

132. Ramanujam, R.
     Institute of mathematical Sciences, Chennai Theory of distributed systems, Temporal logics, Partial order models of concurrency, Logics of knowledge.  
     http://www.imsc.ernet.in/~jam/

133. Logic At Leeds
     Sorry, this document can be viewed only with a framescapable browser. However,you can find our logic Group here logic Group logic Seminar logic Events.  
     http://www.amsta.leeds.ac.uk/pure/logic/

134. MetaPRL Logical Programming Environment
     The next generation of the NuPrl proof development system. The main new features of MetaPRL include 1) Modularity. Programs and logics are developed as modules that define computational, heuristic, and mathematical properties. 2) Speed. MetaPRL is more than two orders of magnitude faster than NuPrl.  
     http://cvs.metaprl.org:12000/metaprl/

135. Mathematical Sciences, Carnegie Mellon
     Department of mathematical Sciences. (Pittsburgh, PA, USA)Category Science Math North America United States Department of mathematical Sciences Wean Hall, Room 6113 Carnegie Mellon UniversityPittsburgh, PA 152133890. (412) 268-2545 Fax (412) 268-6380.  
     http://www.math.cmu.edu/

136. Mathematische Logik An Der LMU
     Translate this page  
     http://www.mathematik.uni-muenchen.de/~logik/

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

121-136 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7