Matematická logika

Matematická logika 

Boolean Functions

Boolean Functions

Crama Yves
AngličtinaPevná vazbaTisk na objednávku
Cambridge University Press
ISBN: 9780521847513
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
5 030 Kč -10 %
Mathematics, Models, and Modality

Mathematics, Models, and Modality

Burgess John P.
AngličtinaMěkká vazbaTisk na objednávku
Cambridge University Press
ISBN: 9780521189675
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
1 298 Kč -10 %
Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK)
AngličtinaTisk na objednávku
Oxford University Press
ISBN: 9780198524960
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
16 306 Kč -10 %
Proof and Disproof in Formal Logic

Proof and Disproof in Formal Logic

Bornat Richard
AngličtinaPevná vazbaTisk na objednávku
Oxford University Press
ISBN: 9780198530268
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
2 304 Kč -10 %
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

AngličtinaPevná vazbaTisk na objednávku
Oxford University Press
ISBN: 9780198537359
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
Tisk na objednávku
Předpokládané dodání ve středu, 8. ledna 2025
12 656 Kč -10 %
New Computational Paradigms

New Computational Paradigms

AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781441922632
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
4 388 Kč -10 %
Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Indrzejczak Andrzej
AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789400732438
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
6 436 Kč -10 %
Topology via Logic

Topology via Logic

Vickers Steven
AngličtinaMěkká vazbaTisk na objednávku
Cambridge University Press
ISBN: 9780521576512
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
1 557 Kč -10 %
Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Braüner, Torben
AngličtinaPevná vazbaTisk na objednávku
Springer
ISBN: 9789400700017
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
2 925 Kč -10 %
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642381966
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
1 346 Kč -10 %
Iris Biometric Model for Secured Network Access

Iris Biometric Model for Secured Network Access

Khoury Franjieh El
AngličtinaPevná vazbaTisk na objednávku
Taylor & Francis Inc
ISBN: 9781466502130
Tisk na objednávku
Předpokládané dodání v pátek, 20. prosince 2024
Tisk na objednávku
Předpokládané dodání v pátek, 20. prosince 2024
4 543 Kč -10 %
Modal Logic for Philosophers

Modal Logic for Philosophers

Garson, James W.
AngličtinaMěkká vazbaTisk na objednávku
Cambridge University Press
ISBN: 9781107609525
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
1 233 Kč -10 %
Computational Analysis Of One-dimensional Cellular Automata

Computational Analysis Of One-dimensional Cellular Automata

Voorhees, Burton H.
AngličtinaPevná vazba
World Scientific Publishing Co Pte Ltd
ISBN: 9789810222215
Skladem u distributora
Předpokládané dodání v úterý, 7. ledna 2025
Skladem u distributora
Předpokládané dodání v úterý, 7. ledna 2025
2 304 Kč -10 %
Spherical Inversion on SLn(R)

Spherical Inversion on SLn(R)

Jorgenson Jay
AngličtinaPevná vazba
Springer-Verlag New York Inc.
ISBN: 9780387951157
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
2 925 Kč -10 %
Algebraic Logic

Algebraic Logic

Gindikin Semen G.
AngličtinaPevná vazba
Springer-Verlag New York Inc.
ISBN: 9780387961798
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
2 925 Kč -10 %
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642022722
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
1 463 Kč -10 %
There´s Something ABout Godel

There´s Something ABout Godel

Berto Francesco
AngličtinaMěkká vazba
John Wiley and Sons Ltd
ISBN: 9781405197670
Na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
Na objednávku
Předpokládané dodání ve čtvrtek, 19. prosince 2024
810 Kč -10 %
Concept of Logical Consequence

Concept of Logical Consequence

Etchemendy, John
AngličtinaMěkká vazba
Centre for the Study of Language & Information
ISBN: 9781575861944
Skladem u distributora
Předpokládané dodání v úterý, 14. ledna 2025
Skladem u distributora
Předpokládané dodání v úterý, 14. ledna 2025
686 Kč -10 %
Pearls of Discrete Mathematics

Pearls of Discrete Mathematics

Erickson Martin
AngličtinaMěkká vazbaTisk na objednávku
Taylor & Francis Inc
ISBN: 9781439816165
Tisk na objednávku
Předpokládané dodání v pátek, 20. prosince 2024
Tisk na objednávku
Předpokládané dodání v pátek, 20. prosince 2024
2 012 Kč -10 %
Undecidable Theories : Studies in Logic and the Foundation of Mathematics

Undecidable Theories : Studies in Logic and the Foundation of Mathematics

Tarski Alfred
AngličtinaMěkká vazba
Dover Publications Inc.
ISBN: 9780486477039
Skladem u distributora
Předpokládané dodání ve čtvrtek, 6. února 2025
Skladem u distributora
Předpokládané dodání ve čtvrtek, 6. února 2025
330 Kč -10 %
Trends in Continuum Mechanics of Porous Media

Trends in Continuum Mechanics of Porous Media

de Boer Reint
AngličtinaPevná vazba
Springer-Verlag New York Inc.
ISBN: 9781402031434
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
2 925 Kč -10 %
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum

AngličtinaPevná vazba
Springer-Verlag New York Inc.
ISBN: 9781402001529
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
4 388 Kč -10 %
Triangular Norms

Triangular Norms

Klement Erich Peter
AngličtinaPevná vazba
Springer
ISBN: 9780792364160
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
5 851 Kč -10 %
Automata Implementation

Automata Implementation

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540631743
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
Na objednávku
Předpokládané dodání v pondělí, 20. ledna 2025
1 463 Kč -10 %