Filtre: Paperback Șterge tot

Cărți logica matematică, pagina 5

385-480 din 687 rezultate

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1

London Mathematical Society Lecture Note Series, nr. 383

Editat de Raf Cluckers et al.

21 sep 2011

Preț: 532^.52 lei 598^.35 lei

43-57 zile

-11%

Metamathematics, Machines and Gödel's Proof

Cambridge Tracts in Theoretical Computer Science, nr. 38

Autor N. Shankar

29 ian 1997

Preț: 376^.97 lei

43-57 zile

London Mathematical Society Lecture Note Series, nr. 240

Autor F. Wagner

20 aug 1997

Preț: 460^.34 lei 517^.24 lei

43-57 zile

-11%

Boolean Constructions in Universal Algebras

Mathematics and Its Applications, nr. 242

Autor A.G. Pinus

5 dec 2010

Preț: 618^.64 lei 727^.80 lei

43-57 zile

-15%

Universal Algebra, Algebraic Logic, and Databases

Mathematics and Its Applications, nr. 272

Autor B. Plotkin

12 oct 2012

Preț: 623^.39 lei 733^.40 lei

43-57 zile

-15%

Real Numbers, Generalizations of the Reals, and Theories of Continua

Editat de P. Ehrlich

7 dec 2010

Preț: 909^.63 lei 1109^.31 lei

43-57 zile

-18%

Mathematics and Its Applications, nr. 312

Autor C.E. Mortensen

6 dec 2010

Preț: 366^.56 lei

43-57 zile

Handbook of Defeasible Reasoning and Uncertainty Management Systems, nr. 3

Editat de Dov M. Gabbay et al.

17 oct 2012

Preț: 1178^.99 lei 1437^.79 lei

43-57 zile

-18%

Trends in Logic, nr. 10

Autor Janusz Czelakowski

3 dec 2010

Preț: 915^.58 lei 1116^.57 lei

43-57 zile

-18%

The Springer International Series in Engineering and Computer Science, nr. 517

Autor Vilém Novák et al.

8 oct 2012

Preț: 1323^.19 lei 1613^.64 lei

43-57 zile

-18%

The Springer International Series in Engineering and Computer Science, nr. 363

Autor Kai-Yuan Cai

27 sep 2011

Preț: 961^.83 lei 1172^.96 lei

43-57 zile

-18%

Editat de Witold Pedrycz

10 oct 2012

Preț: 909^.82 lei 1109^.53 lei

43-57 zile

-18%

Autor Iain Adamson

18 dec 1997

Preț: 366^.76 lei

43-57 zile

Visual Cryptography and Secret Image Sharing

Digital Imaging and Computer Vision

Editat de Stelvio Cimato et al.

29 mar 2017

Preț: 659^.98 lei 776^.46 lei

43-57 zile

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 381^.55 lei

43-57 zile

A Concise Introduction to Mathematical Logic

Autor Wolfgang Rautenberg

17 dec 2009

Preț: 485^.76 lei 571^.48 lei

43-57 zile

-15%

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Mathematical Sciences Research Institute Publications, nr. 21

Editat de Yiannis N. Moschovakis

18 sep 2011

Preț: 631^.08 lei 742^.45 lei

43-57 zile

-15%

The International Series on Asian Studies in Computer and Information Science, nr. 6

Editat de Guoqing Chen et al.

23 oct 2012

Preț: 908^.61 lei 1108^.06 lei

43-57 zile

-18%

Mathematical Sciences Research Institute Publications, nr. 26

Editat de Haim Judah et al.

feb 2012

Preț: 670^.97 lei 789^.38 lei

43-57 zile

-15%

Forall X: Introductory Textbook in Formal Logic

Autor P.D. Magnus

31 aug 2009

Preț: 246^.30 lei

43-57 zile

Editat de Michal Pelis et al.

23 mai 2012

Preț: 158^.52 lei

43-57 zile

Logica Dinamica Epistemica Para La Evidencilidad Negativa

Cuadennos

Autor Cristina Bares Gomez

28 mai 2013

Preț: 132^.43 lei

43-57 zile

Editat de G. Governatori et al.

31 iul 2006

Preț: 239^.80 lei

43-57 zile

Autor S. Rahman et al.

19 noi 2007

Preț: 263^.06 lei

43-57 zile

Autor K. Engesser et al.

24 sep 2007

Preț: 208^.41 lei

43-57 zile

Symbolic Logic and the Binomial Expansion

Autor Richard Forringer

20 noi 2011

Preț: 102^.64 lei

43-57 zile

Around and Beyond the Square of Opposition

Studies in Universal Logic

Editat de Jean-Yves Béziau et al.

7 iun 2012

Preț: 382^.30 lei

43-57 zile

Lecture Notes in Mathematics, nr. 212

Autor Bruno Scarpellini

1971

Preț: 405^.24 lei

43-57 zile

Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Lecture Notes in Mathematics, nr. 328

Autor J.R. Büchi et al.

5 iul 1973

Preț: 401^.38 lei

43-57 zile

Infinitary Logic: In Memoriam Carol Karp

Lecture Notes in Mathematics, nr. 492

Editat de D. W. Kueker

noi 1975

Preț: 464^.87 lei

43-57 zile

Mathematische Logik mit Informatik-Anwendungen

Heidelberger Taschenbücher, nr. 187

Autor E. Bergmann et al.

iul 1977

Preț: 466^.63 lei

43-57 zile

The Axiom of Constructibility: A Guide for the Mathematician

Lecture Notes in Mathematics, nr. 617

Autor K. J. Devlin

noi 1977

Preț: 261^.55 lei

43-57 zile

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings

Lecture Notes in Computer Science, nr. 62

Editat de G. Ausiello et al.

iul 1978

Preț: 385^.79 lei

43-57 zile

Lecture Notes in Mathematics, nr. 769

Autor Jörg Flum et al.

1980

Preț: 264^.89 lei

43-57 zile

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

Lecture Notes in Computer Science, nr. 87

Editat de Wolfgang Bibel et al.

iun 1980

Preț: 379^.31 lei

43-57 zile

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

Lecture Notes in Mathematics, nr. 1103

Editat de G. H. Müller et al.

dec 1984

Preț: 410^.27 lei

43-57 zile

Techniques of Admissible Recursion Theory

Lecture Notes in Mathematics, nr. 1106

Autor C. T. Chong

dec 1984

Preț: 369^.74 lei

43-57 zile

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

Lecture Notes in Mathematics, nr. 1130

Editat de Carlos A. Di Prisco

iun 1985

Preț: 475^.52 lei

43-57 zile

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

Lecture Notes in Mathematics, nr. 1141

Editat de Heinz-Dieter Ebbinghaus et al.

aug 1985

Preț: 476^.42 lei

43-57 zile

Lecture Notes in Mathematics, nr. 1182

Autor Saharon Shelah

apr 1986

Preț: 405^.88 lei

43-57 zile

The Enumerative Theory of Conics after Halphen

Lecture Notes in Mathematics, nr. 1196

Autor Eduardo Casas-Alvero et al.

iun 1986

Preț: 263^.58 lei

43-57 zile

Lecture Notes in Mathematics, nr. 1238

Autor Michael Holz et al.

11 feb 1987

Preț: 266^.19 lei

43-57 zile

Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985

Lecture Notes in Mathematics, nr. 1292

Editat de John T. Baldwin

27 ian 1988

Preț: 411^.21 lei

43-57 zile

Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces

Lecture Notes in Mathematics, nr. 1895

Autor L. Molnár

27 oct 2006

Preț: 372^.50 lei

22-36 zile

Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2075

Editat de Jose-Manuel Colom et al.

13 iun 2001

Preț: 380^.24 lei

43-57 zile

Set Theory and its Applications: Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Lecture Notes in Mathematics, nr. 1401

Editat de Juris Steprans et al.

11 oct 1989

Preț: 465^.80 lei

43-57 zile

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Lecture Notes in Computer Science, nr. 531

Editat de Edmund M. Clarke et al.

2 oct 1991

Preț: 378^.78 lei

43-57 zile

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings

Lecture Notes in Computer Science, nr. 592

Editat de Andrei Voronkov

6 mai 1992

Preț: 386^.74 lei

43-57 zile

Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings

Lecture Notes in Computer Science, nr. 677

Editat de Habib Abdulrab et al.

29 iun 1993

Preț: 369^.90 lei

43-57 zile

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Lecture Notes in Computer Science, nr. 928

Editat de V. Wiktor Marek et al.

7 iun 1995

Preț: 381^.34 lei

43-57 zile

Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

C.I.M.E. Summer Schools, nr. 48

Editat de E. Casari

30 noi 2010

Preț: 341^.08 lei

43-57 zile

Model Theory and Applications: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975

C.I.M.E. Summer Schools, nr. 69

Editat de P. Mangani

30 mar 2012

Preț: 200^.59 lei

43-57 zile

Completeness Theory for Propositional Logics

Studies in Universal Logic

Autor Witold A. Pogorzelski et al.

17 apr 2008

Preț: 372^.15 lei

43-57 zile

Applying Soft Computing in Defining Spatial Relations

Studies in Fuzziness and Soft Computing, nr. 106

Editat de Pascal Matsakis et al.

8 aug 2012

Preț: 369^.16 lei

43-57 zile

Autor Wolfgang Rautenberg

15 iul 2008

Preț: 344^.39 lei

43-57 zile

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

22 oct 2010

Preț: 698^.15 lei 851^.39 lei

43-57 zile

-18%

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

Preț: 615^.66 lei 724^.31 lei

43-57 zile

-15%

The Market Revolution: Jacksonian America 1815-1846

Charles Sellers

14 iul 1994

Preț: 168^.25 lei 191^.42 lei

40-51 zile

-12%

Universitext

Autor Douglas S. Bridges et al.

19 sep 2006

Preț: 465^.60 lei

43-57 zile

Problem Books in Mathematics

Autor James M. Henle

10 oct 1986

Preț: 365^.82 lei

43-57 zile

Universitext

Autor Lars Garding et al.

aug 1988

Preț: 368^.79 lei

43-57 zile

Autor A. Stern

28 mar 1992

Preț: 406^.80 lei 457^.09 lei

Indisponibil temporar

-11%

Elementary Induction on Abstract Structures

Dover Books on Mathematics

Autor Yiannis N. Moschovakis

31 mai 2008

Preț: 78^.83 lei

22-36 zile

London Mathematical Society Lecture Note Series, nr. 130

Autor M. Prest

24 feb 1988

Preț: 573^.50 lei 644^.39 lei

43-57 zile

-11%

London Mathematical Society Lecture Note Series, nr. 262

Autor C. Ward Henson et al.

12 ian 2003

Preț: 443^.25 lei

43-57 zile

Deduction – Introductory Symbolic Logic 2e

Autor D Bonevac

12 sep 2002

Preț: 473^.68 lei 615^.17 lei

43-57 zile

-23%

Editat de Andrew W. Appel

16 noi 2014

Preț: 96^.74 lei

43-57 zile | 5-11 zile

Theory and Decision Library B, nr. 20

Autor Hans Bandemer et al.

25 sep 2012

Preț: 910^.71 lei 1110^.62 lei

43-57 zile

-18%

Episteme, nr. 22

Editat de E. Agazzi et al.

14 oct 2012

Preț: 620^.38 lei 729^.86 lei

43-57 zile

-15%

Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory

The Handbooks of Fuzzy Sets, nr. 3

Autor Ulrich Höhle et al.

5 noi 2012

Preț: 2026^.06 lei 2470^.80 lei

43-57 zile

-18%

Autor N.Ya. Vilenkin

26 iun 2013

Preț: 365^.65 lei

43-57 zile

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Autor Catarina Dutilh Novaes

5 noi 2014

Preț: 292^.23 lei

43-57 zile

Applied Optimization, nr. 76

Autor Bing-Yuan Cao

22 noi 2013

Preț: 615^.52 lei 724^.14 lei

43-57 zile

-15%

Essays on the Theory of Numbers (Second Edition)

Autor Richard Dedekind

10 apr 2007

Preț: 72^.82 lei

43-57 zile

Editat de Dimiter G. Skordev

5 noi 2011

Preț: 381^.55 lei

43-57 zile

Reflexive Structures: An Introduction to Computability Theory

Autor Luis E. Sanchis

26 sep 2011

Preț: 370^.84 lei

43-57 zile

Mathematics and Its Applications, nr. 392

Autor George Weaver

8 mar 2013

Preț: 372^.31 lei

43-57 zile

Autor Samuel Colman

12 iul 2009

Preț: 109^.86 lei

Indisponibil temporar

Remarks on the Foundation of Mathematics [Bemerkungen Uber Die Grundlagen Der Mathematik]

Autor Ludwig Wittgenstein

21 iun 2014

Preț: 149^.74 lei

Indisponibil temporar

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

Editat de Solomon Feferman et al.

29 iul 2010

Preț: 198^.18 lei

43-57 zile

Autor Hartley Slater

17 oct 2011

Preț: 128^.76 lei

43-57 zile

Autor Andrzej Wisniewski

8 aug 2013

Preț: 125^.59 lei

43-57 zile

Autor John L. Bell et al.

23 noi 2009

Preț: 192^.36 lei

43-57 zile

Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968

Lecture Notes in Mathematics, nr. 125

Editat de M. Laudet et al.

Preț: 406^.35 lei

43-57 zile

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Lecture Notes in Mathematics, nr. 500

Editat de J. Diller et al.

1976

Preț: 321^.80 lei

43-57 zile

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Lecture Notes in Mathematics, nr. 611

Autor M. Makkai et al.

sep 1977

Preț: 374^.71 lei

43-57 zile

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

Universitext

Autor P. Hajek et al.

apr 1978

Preț: 383^.38 lei

43-57 zile

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Heidelberger Taschenbücher, nr. 87

Autor Hans Hermes

29 aug 1978

Preț: 432^.03 lei

43-57 zile

Lecture Notes in Mathematics, nr. 811

Autor D. Normann

iul 1980

Preț: 266^.72 lei

43-57 zile

Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

Lecture Notes in Mathematics, nr. 834

Editat de L. Pacholski et al.

noi 1980

Preț: 405^.82 lei

43-57 zile

Lecture Notes in Mathematics, nr. 883

Autor L. Henkin et al.

oct 1981

Preț: 407^.07 lei

43-57 zile

Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Lecture Notes in Mathematics, nr. 891

Editat de G.H. Müller et al.

noi 1981

Preț: 411^.14 lei

43-57 zile

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Lecture Notes in Mathematics, nr. 897

Autor W. Buchholz et al.

dec 1981

Preț: 321^.42 lei

43-57 zile

Hochschultext

Autor E. Engeler

feb 1983

Preț: 398^.09 lei

43-57 zile

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, nr. 3 / C

Editat de Wolfgang Stegmüller

noi 1983

Preț: 200^.71 lei

43-57 zile

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

Lecture Notes in Mathematics, nr. 1104

Editat de M. M. Richter et al.

dec 1984

Preț: 409^.53 lei

43-57 zile

Cărți logica matematică, pagina 5

Papetărie, jocuri, reviste