Filtre: Tipărit la comandă

Cărți despre Fundaţiile matematicii, pagina 9

769-864 din 973 rezultate

Tits Buildings and the Model Theory of Groups

London Mathematical Society Lecture Note Series, nr. 291

Editat de Katrin Tent

2 ian 2002

Preț: 418^.24 lei 469^.93 lei

6-8 săpt.

-11%

Elementary Number Theory with Applications, Student Solutions Manual

Autor Thomas Koshy

10 dec 2001

Preț: 386^.51 lei

6-8 săpt.

Collected Papers of Stig Kanger with Essays on his Life and Work

Synthese Library, nr. 303

Editat de Ghita Holmström-Hintikka et al.

31 dec 2001

Preț: 648^.05 lei 762^.42 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 396^.62 lei

6-8 săpt.

Computational Intelligence in Systems and Control Design and Applications

Intelligent Systems, Control and Automation: Science and Engineering, nr. 22

Editat de S.G. Tzafestas

30 noi 2001

Preț: 644^.30 lei 758^.01 lei

6-8 săpt.

-15%

Autor Robert L. Vaught

28 aug 2001

Preț: 382^.18 lei

6-8 săpt.

Universitext

Autor Egon Börger et al.

28 aug 2001

Preț: 1117^.34 lei 1362^.61 lei

6-8 săpt.

-18%

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Autor Kurt Gödel et al.

5 iul 2001

Preț: 404^.83 lei 512^.85 lei

31-37 zile

-21%

Handbook of Automated Reasoning, nr. II

Editat de Alan J.A. Robinson et al.

21 iun 2001

Preț: 1157^.47 lei 1311^.36 lei

5-7 săpt.

-12%

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ț: 395^.25 lei

6-8 săpt.

Studies in Logic and the Foundations of Mathematics, nr. 141

Autor B. Jacobs

9 mai 2001

Preț: 590^.36 lei 855^.89 lei

5-7 săpt.

-31%

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Mathematics and Its Applications, nr. 489

Autor Wu Wen-tsun

30 apr 2001

Preț: 653^.65 lei 769^.00 lei

6-8 săpt.

-15%

Quantum Theoretic Machines: What is thought from the point of view of Physics?

Autor A. Stern

7 dec 2000

Preț: 1309^.57 lei 1793^.94 lei

6-8 săpt.

-27%

Loeb Measures in Practice: Recent Advances: EMS Lectures 1997

Lecture Notes in Mathematics, nr. 1751

Autor Nigel J. Cutland

12 dec 2000

Preț: 345^.24 lei

6-8 săpt.

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1955

Editat de Michel Parigot et al.

23 oct 2000

Preț: 400^.26 lei

6-8 săpt.

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Cambridge Tracts in Theoretical Computer Science, nr. 51

Autor H. Simmons

17 mai 2000

Preț: 890^.72 lei 1035^.72 lei

6-8 săpt. | 7-13 zile

-14%

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1794

Editat de Helene Kirchner et al.

15 mar 2000

Preț: 400^.85 lei

6-8 săpt.

Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures

Lecture Notes in Computer Science, nr. 1754

Editat de Jouko Väänänen

5 ian 2000

Preț: 379^.86 lei

6-8 săpt.

Editat de John Goutsias et al.

31 dec 1999

Preț: 696^.60 lei 860^.00 lei

6-8 săpt.

-19%

London Mathematical Society Student Texts, nr. 48

Autor Andras Hajnal et al.

10 noi 1999

Preț: 550^.40 lei 618^.43 lei

6-8 săpt.

-11%

Encyclopedia of Mathematics and its Applications, nr. 78

Autor Thomas Beth et al.

17 noi 1999

Preț: 1006^.22 lei 1170^.02 lei

6-8 săpt.

-14%

Discovering Higher Mathematics: Four Habits of Highly Effective Mathematicians

Autor Alan Levine

6 oct 1999

Preț: 745^.48 lei 1021^.21 lei

6-8 săpt.

-27%

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings

Lecture Notes in Computer Science, nr. 1711

Editat de Ning Zhong et al.

20 oct 1999

Preț: 654^.30 lei 769^.77 lei

6-8 săpt.

-15%

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture

Spectrum

Autor David M. Bressoud

12 aug 1999

Preț: 337^.07 lei

6-8 săpt.

Studies in Logic and the Foundations of Mathematics, nr. 142

Autor M. Kracht

16 iun 1999

Preț: 868^.94 lei 1190^.33 lei

6-8 săpt.

-27%

London Mathematical Society Lecture Note Series, nr. 258

Editat de S. Barry Cooper et al.

16 iun 1999

Preț: 423^.56 lei 475^.91 lei

6-8 săpt.

-11%

London Mathematical Society Lecture Note Series, nr. 259

Editat de S. Barry Cooper et al.

16 iun 1999

Preț: 417^.55 lei 469^.16 lei

6-8 săpt.

-11%

London Mathematical Society Lecture Note Series, nr. 267

Editat de J. D. Lamb et al.

30 iun 1999

Preț: 449^.85 lei 505^.45 lei

6-8 săpt.

-11%

Natural Dualities for the Working Algebraist

Cambridge Studies in Advanced Mathematics, nr. 57

Autor David M. Clark et al.

11 noi 1998

Preț: 1067^.39 lei 1241^.15 lei

6-8 săpt.

-14%

Siberian School of Algebra and Logic

Autor Viktor A. Gorbunov

30 sep 1998

Preț: 951^.47 lei 1160^.32 lei

6-8 săpt.

-18%

London Mathematical Society Lecture Note Series, nr. 248

Autor L. P. D. van den Dries

6 mai 1998

Preț: 462^.14 lei 519^.26 lei

6-8 săpt.

-11%

Graduate Texts in Mathematics, nr. 180

Autor S.M. Srivastava

13 apr 1998

Preț: 532^.23 lei 626^.16 lei

6-8 săpt.

-15%

Metamathematics of First-Order Arithmetic

Perspectives in Mathematical Logic

Autor Petr Hajek et al.

17 mar 1998

Preț: 791^.88 lei 965^.71 lei

6-8 săpt.

-18%

Springer Undergraduate Mathematics Series

Autor D. L. Johnson

14 ian 1998

Preț: 265^.78 lei

6-8 săpt.

Autor Iain Adamson

18 dec 1997

Preț: 381^.21 lei

6-8 săpt.

Constraint-Programmierung: Grundlagen und Anwendungen

Springer-Lehrbuch

Autor Thom Frühwirth et al.

12 sep 1997

Preț: 174^.24 lei

6-8 săpt.

Set Theory for the Working Mathematician

London Mathematical Society Student Texts, nr. 39

Autor Krzysztof Ciesielski

27 aug 1997

Preț: 396^.15 lei

6-8 săpt.

London Mathematical Society Lecture Note Series, nr. 240

Autor F. Wagner

20 aug 1997

Preț: 450^.71 lei 506^.42 lei

6-8 săpt.

-11%

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1289

Editat de Georg Gottlob et al.

13 aug 1997

Preț: 391^.99 lei

6-8 săpt.

Model Theory of Groups and Automorphism Groups

London Mathematical Society Lecture Note Series, nr. 244

Editat de David M. Evans

9 iul 1997

Preț: 433^.78 lei

6-8 săpt.

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings

Lecture Notes in Computer Science, nr. 1244

Editat de Dov Gabbay et al.

28 mai 1997

Preț: 657^.39 lei 773^.41 lei

6-8 săpt.

-15%

Autor Wilfrid Hodges

9 apr 1997

Preț: 549^.05 lei 616^.91 lei

6-8 săpt.

-11%

Admissibility of Logical Inference Rules

Studies in Logic and the Foundations of Mathematics, nr. 136

Autor V.V. Rybakov

13 mar 1997

Preț: 1016^.48 lei 1392^.45 lei

6-8 săpt.

-27%

Metamathematics, Machines and Gödel's Proof

Cambridge Tracts in Theoretical Computer Science, nr. 38

Autor N. Shankar

29 ian 1997

Preț: 372^.97 lei

6-8 săpt.

Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems: IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers

Lecture Notes in Computer Science, nr. 1188

Editat de Trevor Martin et al.

22 ian 1997

Preț: 387^.96 lei

6-8 săpt.

The Descriptive Set Theory of Polish Group Actions

London Mathematical Society Lecture Note Series, nr. 232

Autor Howard Becker et al.

4 dec 1996

Preț: 341^.13 lei

6-8 săpt.

Lecture Notes in Logic, nr. 8

Autor John Steel

16 dec 1996

Preț: 378^.34 lei

6-8 săpt.

Fuzzy Logic, Neural Networks, and Evolutionary Computation: IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers

Lecture Notes in Computer Science, nr. 1152

Editat de Takeshi Furuhashi et al.

6 noi 1996

Preț: 386^.00 lei

6-8 săpt.

A General Algebraic Semantics for Sentential Logics

Lecture Notes in Logic, nr. 7

Autor Josep M. Font et al.

2 oct 1996

Preț: 379^.68 lei

6-8 săpt.

Oxford Logic Guides, nr. 32

Autor Anand Pillay

12 sep 1996

Preț: 791^.26 lei 1198^.25 lei

31-37 zile

-34%

Studies in Logic and Computation, nr. 6

Autor Gerard Allwein et al.

18 iul 1996

Preț: 856^.64 lei 1219^.46 lei

31-37 zile

-30%

Logic: From Foundations to Applications: European Logic Colloquium

Editat de Wilfrid Hodges et al.

20 iun 1996

Preț: 267^.49 lei 341^.62 lei

31-37 zile

-22%

Super-Real Fields: Totally Ordered Fields with Additional Structure

London Mathematical Society Monographs, nr. 14

Autor H. Garth Dales et al.

16 mai 1996

Preț: 501^.78 lei 728^.66 lei

31-37 zile

-31%

Collegium Logicum, nr. 2

Autor Kenneth A. Loparo

30 apr 1996

Preț: 381^.21 lei

6-8 săpt.

Springer-Lehrbuch

Autor Einar Smith

30 apr 1996

Preț: 174^.44 lei

6-8 săpt.

Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers

Advances in Fuzzy Systems-Applications and Theory, nr. 06

Editat de George J. Klir et al.

30 apr 1996

Preț: 1726^.58 lei 2105^.59 lei

6-8 săpt.

-18%

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Studies in Logic and the Foundations of Mathematics, nr. 135

Autor A. Cantini

14 mar 1996

Preț: 945^.54 lei 1295^.25 lei

6-8 săpt.

-27%

Computability, Enumerability, Unsolvability: Directions in Recursion Theory

London Mathematical Society Lecture Note Series, nr. 224

Editat de S. B. Cooper et al.

10 ian 1996

Preț: 440^.91 lei

6-8 săpt.

Bounded Arithmetic, Propositional Logic and Complexity Theory

Encyclopedia of Mathematics and its Applications, nr. 60

Autor Jan Krajicek

23 noi 1995

Preț: 891^.38 lei 1036^.49 lei

6-8 săpt.

-14%

London Mathematical Society Lecture Note Series, nr. 220

Autor Andri Joyal et al.

13 sep 1995

Preț: 383^.51 lei

6-8 săpt.

Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way

Lecture Notes in Logic, nr. 4

Autor Arnold Miller

18 sep 1995

Preț: 379^.09 lei

6-8 săpt.

London Mathematical Society Lecture Note Series, nr. 222

Editat de Jean-Yves Girard et al.

21 iun 1995

Preț: 455^.86 lei 512^.20 lei

6-8 săpt.

-11%

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ț: 396^.40 lei

6-8 săpt.

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

dec 1994

Preț: 1012^.11 lei 1534^.76 lei

31-37 zile | 7-13 zile

-34%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

17 noi 1994

Preț: 1467^.87 lei 2230^.01 lei

31-37 zile

-34%

Algebraic Systems and Computational Complexity Theory

Mathematics and Its Applications, nr. 269

Autor Tse-K'o Wang et al.

31 oct 1994

Preț: 639^.23 lei 752^.03 lei

6-8 săpt.

-15%

The Market Revolution: Jacksonian America 1815-1846

Charles Sellers

14 iul 1994

Preț: 157^.26 lei 165^.72 lei

31-37 zile

-5%

Locally Presentable and Accessible Categories

London Mathematical Society Lecture Note Series, nr. 189

Autor J. Adamek et al.

9 mar 1994

Preț: 664^.92 lei 747^.11 lei

6-8 săpt.

-11%

Mathematical Go: Chilling Gets the Last Point

Autor Elwyn Berlekamp et al.

15 feb 1994

Preț: 1273^.48 lei 1553^.02 lei

6-8 săpt.

-18%

Fuzzy Multiple Objective Decision Making: Methods and Applications

Lecture Notes in Economics and Mathematical Systems, nr. 404

Autor Young-Jou Lai et al.

28 feb 1994

Preț: 650^.37 lei 765^.14 lei

6-8 săpt.

-15%

Mathématiques et Applications, nr. 12

Autor Patrick Dehornoy

10 sep 1993

Preț: 482^.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ț: 384^.48 lei

6-8 săpt.

Collected Works of A.M. Turing, nr. 3

Editat de P.T. Saunders

25 noi 1992

Preț: 329^.32 lei 481^.41 lei

5-7 săpt.

-32%

London Mathematical Society Lecture Note Series, nr. 169

Editat de M. S. Paterson

4 noi 1992

Preț: 313^.47 lei

6-8 săpt.

Automated Development of Fundamental Mathematical Theories

Automated Reasoning Series, nr. 2

Autor Art Quaife

30 noi 1992

Preț: 1218^.35 lei 1485^.79 lei

6-8 săpt.

-18%

Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991

London Mathematical Society Lecture Note Series, nr. 177

Editat de M. P. Fourman et al.

25 iun 1992

Preț: 451^.57 lei 507^.39 lei

6-8 săpt.

-11%

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ț: 402^.00 lei

6-8 săpt.

Relative Category Theory and Geometric Morphisms: A Logical Approach

Oxford Logic Guides, nr. 16

Autor Jonathan Chapman et al.

6 feb 1992

Preț: 236^.07 lei 306^.48 lei

31-37 zile

-23%

Matrix Logic and Mind: A Probe into a Unified Theory of Mind and Matter

Autor A. Stern

12 feb 1992

Preț: 942^.59 lei 1291^.21 lei

6-8 săpt.

-27%

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers

Studies in Logic and the Foundations of Mathematics, nr. 125

Autor P. Odifreddi

3 feb 1992

Preț: 563^.29 lei 731^.55 lei

6-8 săpt.

-23%

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

NATO Asi Series. Series C, Mathematical and Physical Science, nr. 55

Autor Dimitur Genchev Skordev

29 feb 1992

Preț: 708^.61 lei 833^.66 lei

6-8 săpt.

-15%

Einführung in die klassische und intensionale Logik

Autor Ulf Friedrichsdorf

1992

Preț: 391^.95 lei 450^.52 lei

38-44 zile

-13%

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ț: 656^.89 lei 772^.81 lei

6-8 săpt.

-15%

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ț: 393^.74 lei

6-8 săpt.

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Lecture Notes in Computer Science, nr. 533

Editat de Egon Börger et al.

11 sep 1991

Preț: 395^.09 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ț: 273^.79 lei

6-8 săpt.

Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity

IFSR International Series on Systems Science and Engineering, nr. 6

Autor G. Kampis

20 mar 1991

Preț: 997^.83 lei 1366^.88 lei

6-8 săpt.

-27%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

31 ian 1991

Preț: 994^.51 lei 1443^.53 lei

31-37 zile

-31%

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Lecture Notes in Mathematics, nr. 1429

Autor Steven Homer et al.

17 iul 1990

Preț: 276^.08 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ț: 334^.79 lei

6-8 săpt.

London Mathematical Society Lecture Note Series, nr. 152

Autor Peter J. Cameron

28 iun 1990

Preț: 368^.73 lei

6-8 săpt.

Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings

Lecture Notes in Computer Science, nr. 386

Editat de Jean E. Pin

11 oct 1989

Preț: 386^.99 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ț: 484^.30 lei

6-8 săpt.

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ț: 484^.30 lei

6-8 săpt.

Handbook of Boolean Algebras, nr. 2

Autor Bozzano G Luisa

28 feb 1989

Preț: 1294^.10 lei 1772^.75 lei

6-8 săpt.

-27%

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Lecture Notes in Computer Science, nr. 355

Editat de Nachum Dershowitz

22 mar 1989

Preț: 405^.06 lei

6-8 săpt.

Papetărie, jocuri, reviste

Cărți despre Fundaţiile matematicii, pagina 9