Filtre: Paperback

Cărți logica matematică, pagina 5

385-480 din 658 rezultate

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

6-8 săpt.

-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

6-8 săpt.

-18%

Editat de Witold Pedrycz

10 oct 2012

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

6-8 săpt.

-18%

Autor Iain Adamson

18 dec 1997

Preț: 366^.76 lei

6-8 săpt.

Visual Cryptography and Secret Image Sharing

Digital Imaging and Computer Vision

Editat de Stelvio Cimato et al.

29 mar 2017

Preț: 636^.62 lei 748^.96 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 381^.55 lei

6-8 săpt.

A Concise Introduction to Mathematical Logic

Autor Wolfgang Rautenberg

17 dec 2009

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-18%

Mathematical Sciences Research Institute Publications, nr. 26

Editat de Haim Judah et al.

feb 2012

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

6-8 săpt.

-15%

Forall X: Introductory Textbook in Formal Logic

Autor P.D. Magnus

31 aug 2009

Preț: 246^.30 lei

6-8 săpt.

Studies in Diagrammatology and Diagram Praxis

Studies in Logic

Editat de Alexander Gerner et al.

7 iun 2010

Preț: 166^.99 lei

6-8 săpt.

Logica Dinamica Epistemica Para La Evidencilidad Negativa

Cuadennos

Autor Cristina Bares Gomez

28 mai 2013

Preț: 132^.43 lei

6-8 săpt.

Editat de G. Governatori et al.

31 iul 2006

Preț: 239^.80 lei

6-8 săpt.

Texts in Philosophy

Autor S. Rahman et al.

18 noi 2007

Preț: 260^.68 lei

6-8 săpt.

Studies in Logic, nr. 8

Autor K. Engesser et al.

23 sep 2007

Preț: 207^.31 lei

6-8 săpt.

Hues of Philosophy. Essays in Memory of Ruth Manor

Tributes

Editat de Anat Biletzki

13 sep 2010

Preț: 162^.37 lei

6-8 săpt.

Symbolic Logic and the Binomial Expansion

Autor Richard Forringer

20 noi 2011

Preț: 102^.64 lei

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 212

Autor Bruno Scarpellini

1971

Preț: 405^.24 lei

6-8 săpt.

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

6-8 săpt.

Infinitary Logic: In Memoriam Carol Karp

Lecture Notes in Mathematics, nr. 492

Editat de D. W. Kueker

noi 1975

Preț: 464^.87 lei

6-8 săpt.

Mathematische Logik mit Informatik-Anwendungen

Heidelberger Taschenbücher, nr. 187

Autor E. Bergmann et al.

iul 1977

Preț: 466^.63 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 769

Autor Jörg Flum et al.

1980

Preț: 264^.89 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Techniques of Admissible Recursion Theory

Lecture Notes in Mathematics, nr. 1106

Autor C. T. Chong

dec 1984

Preț: 369^.74 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 1182

Autor Saharon Shelah

apr 1986

Preț: 405^.88 lei

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 1238

Autor Michael Holz et al.

11 feb 1987

Preț: 266^.19 lei

6-8 săpt.

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

6-8 săpt.

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

3-5 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Completeness Theory for Propositional Logics

Studies in Universal Logic

Autor Witold A. Pogorzelski et al.

17 apr 2008

Preț: 372^.15 lei

6-8 săpt.

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

6-8 săpt.

Autor Wolfgang Rautenberg

15 iul 2008

Preț: 344^.39 lei

6-8 săpt.

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

22 oct 2010

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

6-8 săpt.

-18%

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

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

6-8 săpt.

-15%

The Market Revolution: Jacksonian America 1815-1846

Charles Sellers

14 iul 1994

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

44-50 zile

-12%

Universitext

Autor Douglas S. Bridges et al.

19 sep 2006

Preț: 465^.60 lei

6-8 săpt.

Problem Books in Mathematics

Autor James M. Henle

10 oct 1986

Preț: 365^.82 lei

6-8 săpt.

Universitext

Autor Lars Garding et al.

aug 1988

Preț: 368^.79 lei

6-8 săpt.

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

3-5 săpt.

London Mathematical Society Lecture Note Series, nr. 130

Autor M. Prest

24 feb 1988

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

6-8 săpt.

-11%

London Mathematical Society Lecture Note Series, nr. 262

Autor C. Ward Henson et al.

12 ian 2003

Preț: 443^.25 lei

6-8 săpt.

Deduction – Introductory Symbolic Logic 2e

Autor D Bonevac

12 sep 2002

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

6-8 săpt.

-23%

Editat de Andrew W. Appel

16 noi 2014

Preț: 96^.74 lei

6-8 săpt. | 4-10 zile

Theory and Decision Library B, nr. 20

Autor Hans Bandemer et al.

25 sep 2012

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

6-8 săpt.

-18%

Episteme, nr. 22

Editat de E. Agazzi et al.

14 oct 2012

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

6-8 săpt.

-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

6-8 săpt.

-18%

Autor N.Ya. Vilenkin

26 iun 2013

Preț: 365^.65 lei

6-8 săpt.

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Autor Catarina Dutilh Novaes

5 noi 2014

Preț: 292^.23 lei

6-8 săpt.

Applied Optimization, nr. 76

Autor Bing-Yuan Cao

22 noi 2013

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

6-8 săpt.

-15%

Essays on the Theory of Numbers (Second Edition)

Autor Richard Dedekind

10 apr 2007

Preț: 72^.82 lei

6-8 săpt.

Editat de Dimiter G. Skordev

5 noi 2011

Preț: 381^.55 lei

6-8 săpt.

Reflexive Structures: An Introduction to Computability Theory

Autor Luis E. Sanchis

26 sep 2011

Preț: 370^.84 lei

6-8 săpt.

Mathematics and Its Applications, nr. 392

Autor George Weaver

8 mar 2013

Preț: 372^.31 lei

6-8 săpt.

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

Tributes

Editat de Solomon Feferman et al.

28 iul 2010

Preț: 197^.16 lei

6-8 săpt.

Studies in Logic

Autor Hartley Slater

16 oct 2011

Preț: 127^.98 lei

6-8 săpt.

Studies in Logic

Autor Andrzej Wisniewski

7 aug 2013

Preț: 124^.51 lei

6-8 săpt.

Foundations of the Formal Sciences. the History of the Concept of the Formal Sciences: Essays in Honour of Hugues LeBlanc

Studies in Logic

Editat de B. Loewe et al.

11 mai 2006

Preț: 227^.04 lei

6-8 săpt.

Studies in Logic. Mathematical Logic and Foundations

Autor John L. Bell et al.

22 noi 2009

Preț: 190^.98 lei

6-8 săpt.

Automated Reasoning in Higher-Order Logic

Studies in Logic, . Logic and Cognitive Systems

Autor C. E. Brown

21 oct 2007

Preț: 286^.88 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

Universitext

Autor P. Hajek et al.

apr 1978

Preț: 383^.38 lei

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 811

Autor D. Normann

iul 1980

Preț: 266^.72 lei

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 883

Autor L. Henkin et al.

oct 1981

Preț: 407^.07 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Hochschultext

Autor E. Engeler

feb 1983

Preț: 398^.09 lei

6-8 săpt.

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

6-8 săpt.

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

6-8 săpt.

Lecture Notes in Mathematics, nr. 1249

Autor Imme van den Berg

8 apr 1987

Preț: 266^.72 lei

6-8 săpt.

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Lecture Notes in Computer Science, nr. 310

Editat de Ewing Lusk et al.

4 mai 1988

Preț: 638^.96 lei 751^.71 lei

6-8 săpt.

-15%

Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

Lecture Notes in Mathematics, nr. 1388

Editat de Juichi Shinoda et al.

9 aug 1989

Preț: 465^.80 lei

6-8 săpt.

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Lecture Notes in Mathematics, nr. 1432

Editat de Klaus Ambos-Spies et al.

24 iul 1990

Preț: 322^.16 lei

6-8 săpt.

Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions

Lecture Notes in Mathematics, nr. 1476

Autor Mohamed Bekkali

10 iul 1991

Preț: 263^.06 lei

6-8 săpt.

Fuzzy Multiple Attribute Decision Making: Methods and Applications

Lecture Notes in Economics and Mathematical Systems, nr. 375

F.P. Hwang et al.

15 ian 1992

Preț: 631^.53 lei 742^.98 lei

6-8 săpt.

-15%

Papetărie, jocuri, reviste

Cărți logica matematică, pagina 5