Skip to main content alibris logo

Paperback Logic Symbolic and mathematical Books

Favorites

Condition

Formats

Book subjects like Logic Symbolic and mathematical

Browse All Subjects




Iteration Theories: The Equational Logic of Iterative Processes Iteration Theories: The...

Stephen L Bloom, Zoltan Esik
Buy from $112.32

Systems of Logic Systems of Logic

Norman M Martin
Buy from $16.00

Essays on Wittgenstein's Tractatus Essays on Wittgenstein's...

Irving M. Copi (Editor), Robert W. Beard (Editor)
Buy from $60.16

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory Introduction to Mathematical...

Jerome Malitz
Buy from $88.49

Understanding Wittgenstein's Tractatus Understanding Wittgenstein's...

Pasquale Frascolla
Buy from $59.81

Problem Solving and Reasoning Pupil Book 2 Problem Solving and Reasoning...

Peter Clarke (Series edited by)
Buy from $12.55

Temporal Logic of Programs Temporal Logic of Programs

Fred Kröger
Buy from $60.65

The Theory of Algorithms The Theory of Algorithms

A.A. Markov, N.M. Nagorny
Buy from $162.29

Coding the Universe Coding the Universe

A. Beller, R. Jensen
Buy from $42.62

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details An Outline of Mathematical...

A Grzegorczyk
Buy from $60.65

Formal Logic: Or, The Calculus of Inference, Necessary and Probable Formal Logic: Or, The...

Augustus De Morgan
Buy from $44.18

The Parametric Lambda Calculus: A Metamodel for Computation The Parametric Lambda...

Simona Ronchi Della Rocca, Luca Paolini
Buy from $60.65

Reasoning with Incomplete Information Reasoning with Incomplete...

David W Etherington
Buy from $12.00

A Precis of Mathematical Logic A Precis of Mathematical Logic

J.M. Bochenski (Editor), Otto Bird (Translator)
Buy from $112.32

Logique Et Mathematique Chez Bernard Bolzano Logique Et Mathematique Chez...

Jan Sebestik
Buy from $47.00

Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings Automated Deduction -- Cade...

Alan Bundy (Editor)
Buy from $53.23

Reflexive Structures: An Introduction to Computability Theory Reflexive Structures: An...

Luis E Sanchis
Buy from $60.65

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings Interactive Theorem Proving:...

Marko Van Eekelen (Editor), Herman Geuvers (Editor)
Buy from $60.65

Logic, Methodology and Philosophy of Science: Proceedings of the Thirteenth International Congress Logic, Methodology and...

Clark Glymour (Editor), Wei Wang (Editor)
Buy from $27.30

The Foundations of Mathematics The Foundations of Mathematics

Frank Ramsey
Buy from $54.46

Fuel Cell Electronics Packaging Fuel Cell Electronics...

Ken Kuang (Editor), Keith Easler (Editor)
Buy from $132.78

An Introduction To Modern Logic: An Elementary Textbook Of Symbolic Logic An Introduction To Modern...

William Harold Halberstadt
Buy from $41.04

Universal Logic Universal Logic

Ross Brady
Buy from $46.51

Wittgenstein's "Tractatus": An Introduction Wittgenstein's "Tractatus":...

H. O. Mounce
Buy from $12.37

  1. < Prev
  2. 1
  3. ...
  4. 19
  5. 20
  6. 21
  7. Next >