Mathematical logic books

5384 books were found.

Algebra für Informatiker

Algebra für Informatiker
Author: H. Kaiser , R. Mlitz ISBN: 9783211818916 Format: Paperback	$113.39
Read More >>

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Recursion Theory Week: Proceedings of a Conference held...
Author: Heinz-Dieter Ebbinghaus , Gert H. Müller ISBN: 9783540156734 Format: Paperback	$184.67
Read More >>

Constructive Analysis

Constructive Analysis
Author: E. Bishop , Douglas S. Bridges ISBN: 9783540150664 Format: Hardback	$419.76
This work grew out of Errett Bishop's fundamental treatise 'Founda tions of Constructive Analysis' (FCA), which... Read More >>

Mathematical Logic

Mathematical Logic
Author: H.-D. Ebbinghaus , A. S. Ferebee ISBN: 9780387961705 Format: Paperback	$81.84
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually... Read More >>

Combinatorial Algorithms on Words

Combinatorial Algorithms on Words
Author: Alberto Apostolico , Zvi Galil ISBN: 9783540152279 Format: Hardback	$345.84
Combinatorial Algorithms on Words refers to the collection of manipulations of strings of symbols (words) - not... Read More >>

Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

Methods in Mathematical Logic: Proceedings of the 6th...
Author: Carlos A. Di Prisco ISBN: 9783540152361 Format: Paperback	$184.67
Read More >>

Automata on Infinite Words: Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Automata on Infinite Words: Ecole de Printemps d'Informatique...
Author: M. Nivat , D. Perrin ISBN: 9783540156413 Format: Paperback	$131.87
Read More >>

Mathematical Logic and Formal Systems

Mathematical Logic and Formal Systems
Author: Alcantara , Luiz De Alcantara ISBN: 9780824773304 Format: Paperback	$527.87
Read More >>

Foundations of Constructive Mathematics: Metamathematical Studies

Foundations of Constructive Mathematics: Metamathematical...
Author: M.J. Beeson ISBN: 9783540121732 Format: Hardback	$475.20
This book is about some recent work in a subject usually considered part of ""logic"" and the"" foundations of mathematics"",... Read More >>

Cylindric Algebras: Part II. Studies in Logic and the Foundations of Mathematics, Volume 115.

Cylindric Algebras: Part II. Studies in Logic and the...
Author: L Henkin ISBN: 9786611788254 Format: Electronic book text	$728.64
Volume II completes the description of the main aspects of the theory, covering representation questions, model... Read More >>

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory

Proceedings of the Logic Colloquium. Held in Aachen,...
Author: M.M. Richter , E. Borger ISBN: 9783540139010 Format: Paperback	$155.76
Read More >>

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets

Proceedings of the Logic Colloquium. Held in Aachen,...
Author: G. H. Müller , M. M. Richter ISBN: 9783540139003 Format: Paperback	$155.76
Read More >>

Techniques of Admissible Recursion Theory

Techniques of Admissible Recursion Theory
Author: C. T. Chong ISBN: 9783540139027 Format: Paperback	$158.27
Read More >>

Personelle Und Statistische Wahrscheinlichkeit: Personelle Wahrscheinlichkeit Und Rationale Entscheidung

Personelle Und Statistische Wahrscheinlichkeit: Personelle...
Author: Wolfgang Stegmuller ISBN: 9783540059868 Format: Hardback	$184.01
Verschiedene Griinde haben mich bewogen, den vorliegenden vierten Band dem ursprtinglich geplanten dritten Band... Read More >>

Set Theory: An Introduction / Neuauflage Ist Broschiert

Set Theory: An Introduction / Neuauflage Ist Broschiert...
Author: Vaught , Robert L Vaught ISBN: 9780817632380 Format: Paperback	$131.87
Read More >>

Harvey Friedman's Research on the Foundations of Mathematics

Harvey Friedman's Research on the Foundations of Mathematics...
Author: L a Harrington , M D Morley ISBN: 9781282034860 Format: Electronic book text	$231.11
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past... Read More >>

Lambda Calculus, The: Its Syntax and Semantics

Lambda Calculus, The: Its Syntax and Semantics
Author: H P Barendregt ISBN: 9781282169197 Format: Undefined	$351.12
Read More >>

Cylindric Algebras

Cylindric Algebras
Author: Unknown Author , Gerard Meurant ISBN: 9781281788252 Format: Electronic book text	$231.11
Volume II completes the description of the main aspects of the theory, covering representation questions, model... Read More >>

Lectures on Formally Real Fields

Lectures on Formally Real Fields
Author: A. Prestel ISBN: 9783540138853 Format: Paperback	$105.47
Read More >>

Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings

Mathematical Foundations of Computer Science 1984: 11th...
Author: M.P. Chytil , V. Koubek ISBN: 9783540133728 Format: Paperback	$216.35
Read More >>

Informatik: Eine einführende Übersicht Zweiter Teil

Informatik: Eine einführende Übersicht Zweiter Teil...
Author: F. L. Bauer , F. L. Bauer ISBN: 9783540131212 Format: Paperback	$84.35
Inhalts}bersicht: Vorbemerkung. - Blockstruktur und Dynamische Speicherverteilung. - Hintergrundspeicher und Verkehr... Read More >>

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity:...
Author: E. Börger , G. Hasenjaeger ISBN: 9783540133315 Format: Paperback	$81.84
Read More >>

Formally p-adic Fields

Formally p-adic Fields
Author: A. Prestel , P. Roquette ISBN: 9783540128908 Format: Paperback	$68.64
Read More >>

Informatik

Informatik
Author: F. L. Bauer , G. Goos ISBN: 9783540068990 Format: Paperback	$30.89
Neben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens,... Read More >>

Zahlen

Zahlen
Author: H.-D. Ebbinghaus , K. Lamotke ISBN: 9783540126669 Format: Paperback	$71.28
Das Grundwissen Mathematik, welches jeder Mathematiker im Laufe seines Studiums erwirbt, wird erst durch die Vielfalt... Read More >>

Page 208 of 216 ... 203 204 205 206 207 208 209 210 211 212 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now