Mathematical logic books

5384 books were found.

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2. Background:...
Author: S. Abramsky (Reader in Computing Science, Reader in Computing Science) , Dov M. Gabbay (Professor of Computing Science, Professor of Computing Science) ISBN: 9780198537618 Format: Hardback	$604.95
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic... Read More >>

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Meta-Programming in Logic: Third International Workshop,...
Author: Alberto Pettorossi ISBN: 9783540562825 Format: Paperback	$211.07
This volume of conference papers covers a number of topics, including the foundations of meta-programming in logic,... Read More >>

Automated Development of Fundamental Mathematical Theories

Automated Development of Fundamental Mathematical Theories...
Author: Art Quaife ISBN: 9780792320210 Format: Hardback	$652.08
Read More >>

Recursion Theory for Metamathematics. Oxford Logic Guides, 22.

Recursion Theory for Metamathematics. Oxford Logic Guides,...
Author: M Smullyan Raymond ISBN: 9781280443374 Format: Electronic book text	$301.14
Read More >>

Le Labyrinthe Du Continu: Colloque de Cerisy

Le Labyrinthe Du Continu: Colloque de Cerisy
Author: Jean-Michel Salanskis , Hourya Sinaceur ISBN: 9782287595820 Format: Paperback	$123.95
Ce livre a pour but de faire le point sur les constructions mathA(c)matiques du continu, les attitudes A(c)pistA(c)mologiques... Read More >>

Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems
Author: Raymond M. Smullyan (Professor, City College, Professor, City College, City University of New York, USA) ISBN: 9780195046724 Format: Hardback	$303.95
In this introductory volume, Raymond Smullyan guides the reader through the world of Godel's incompleteness theorems.... Read More >>

Fuzzy Approach to Reasoning and Decision-making: Selected Papers of the International Symposium Held at Bechyne from June 25-29, 1990

Fuzzy Approach to Reasoning and Decision-making: Selected...
Author: Vil'em Novak , Jaroslav Ramik ISBN: 9780792313588 Format: Hardback	$261.36
The papers in this text discuss the theoretical background of fuzzy logic and the applications of fuzzy reasoning... Read More >>

Theorie der logischen Programmierung: Eine elementare Einführung

Theorie der logischen Programmierung: Eine elementare...
Author: Peter H. Schmitt ISBN: 9783540557029 Format: Paperback	$92.27
Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu... Read More >>

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

Computer Science Logic: 5th Workshop, CSL '91, Berne,...
Author: Egon Borger , Gerhard Jager ISBN: 9783540557890 Format: Paperback	$211.07
The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science,... Read More >>

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

Logic Programming in Action: Second International Logic...
Author: Gerard Comyn , Norbert E. Fuchs ISBN: 9783540559306 Format: Paperback	$205.79
Logic programming enjoys a privileged position. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical... Read More >>

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Logics in AI: European Workshop JELIA '92, Berlin, Germany,...
Author: David Pearce , Gerd Wagner ISBN: 9783540558873 Format: Paperback	$218.99
The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations... Read More >>

Information-theoretic Incompleteness

Information-theoretic Incompleteness
Author: Gregory J Chaitin (Ibm Thomas J Watson Research Ctr, Usa) ISBN: 9789810236953 Format: Paperback	$147.84
Read More >>

Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

Nonclassical Logics and Information Processing: International...
Author: David Pearce , Heinrich Wansing ISBN: 9783540557456 Format: Paperback	$105.47
Read More >>

Information-theoretic Incompleteness

Information-theoretic Incompleteness
Author: Gregory J Chaitin (Ibm Thomas J Watson Research Ctr, Usa) ISBN: 9789810212087 Format: Hardback	$261.36
Read More >>

Short Introduction to Modal Logic

Short Introduction to Modal Logic
Author: Grigori Mints ISBN: 9780937073759 Format: Paperback	$32.95
Read More >>

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Logical Foundations of Computer Science - Tver '92:...
Author: Anil Nerode , Mikhail Taitslin ISBN: 9783540557074 Format: Paperback	$250.80
Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic,... Read More >>

Short Introduction to Modal Logic

Short Introduction to Modal Logic
Author: Grigori Mints ISBN: 9780937073766 Format: Hardback	$74.95
Read More >>

Normalization, Cut-Elimination, and the Theory of Proofs

Normalization, Cut-Elimination, and the Theory of Proofs...
Author: A. M. Ungar ISBN: 9780937073834 Format: Hardback	$145.07
Read More >>

Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes
Author: Colin McLarty ISBN: 9780198533924 Format: Hardback	$140.00
An introduction to categories and elementary toposes requiring little mathematical background. It defines the key... Read More >>

Lectures on Linear Logic

Lectures on Linear Logic
Author: Anne Sjerp Troelstra ISBN: 9780937073780 Format: Hardback	$145.07
Read More >>

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Sheaves in Geometry and Logic: A First Introduction...
Author: Saunders MacLane , Ieke Moerdijk ISBN: 9780387977102 Format: Paperback	$237.47
Read More >>

Continuum Theory: An Introduction

Continuum Theory: An Introduction
Author: Sam Nadler (Morgantown, West Virginia, USA) , Zuhair Nashed (University of Central Florida, Orlando, USA) ISBN: 9780824786595 Format: Hardback	$336.00
Read More >>

Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability

Computability in Combinatory Spaces: An Algebraic Generalization...
Author: Dimiter G. Skordev ISBN: 9780792315766 Format: Hardback	$604.56
An account of the current state of the theory of combinatory spaces and their applications. Divided into three sections,... Read More >>

Recursive Functionals, Volume 131

Recursive Functionals, Volume 131
Author: Luis E Sanchis ISBN: 9786611778835 Format: Electronic book text	$683.76
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a... Read More >>

Relative Category Theory and Geometric Morphisms: A Logical Approach

Relative Category Theory and Geometric Morphisms: A...
Author: Jonathan Chapman , Frederick Rowbottom (both at the School of Mathematics, both at the School of Mathematics, University of Bristol) ISBN: 9780198534341 Format: Hardback	$167.95
Topos theory provides an important setting and language for much of mathematical logic and set theory. This book... Read More >>

Page 201 of 216 ... 196 197 198 199 200 201 202 203 204 205 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now