Matematická logika

Matematická logika 

Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

McLarty, Colin
AngličtinaMěkká vazbaTisk na objednávku
Oxford University Press
ISBN: 9780198514732
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
4 462 Kč -10 %
Logic of Reliable Inquiry

Logic of Reliable Inquiry

Kelly Kevin T.
AngličtinaPevná vazbaTisk na objednávku
Oxford University Press Inc
ISBN: 9780195091953
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
6 003 Kč -10 %
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Bertot Yves
AngličtinaPevná vazba
Springer, Berlin
ISBN: 9783540208549
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
3 218 Kč -10 %
Guide to Classical and Modern Model Theory

Guide to Classical and Modern Model Theory

Marcja, Annalisa
AngličtinaMěkká vazba
Springer-Verlag New York Inc.
ISBN: 9781402013317
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
3 510 Kč -10 %
Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

Smullyan, Raymond M.
AngličtinaPevná vazbaTisk na objednávku
Oxford University Press Inc
ISBN: 9780195082326
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
5 679 Kč -10 %
Algebraic Logic

Algebraic Logic

Halmos Paul R.
AngličtinaPevná vazba
American Mathematical Society
ISBN: 9780821841389
Na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
Na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
2 012 Kč -10 %
Logical Reasoning with Diagrams

Logical Reasoning with Diagrams

Allwein Gerard
AngličtinaPevná vazbaTisk na objednávku
Oxford University Press Inc
ISBN: 9780195104271
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
4 672 Kč -10 %
Short Introduction to Intuitionistic Logic

Short Introduction to Intuitionistic Logic

Mints Grigori
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781475773194
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
4 096 Kč -10 %
Managing Trust in Cyberspace

Managing Trust in Cyberspace

AngličtinaPevná vazba
Taylor & Francis Inc
ISBN: 9781466568440
Na objednávku
Předpokládané dodání v úterý, 8. dubna 2025
Na objednávku
Předpokládané dodání v úterý, 8. dubna 2025
4 381 Kč -10 %
Turing's Legacy

Turing's Legacy

AngličtinaPevná vazba
Cambridge University Press
ISBN: 9781107043480
Na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
Na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
4 575 Kč -10 %
Logic of Infinity

Logic of Infinity

Sheppard Barnaby
AngličtinaPevná vazbaTisk na objednávku
Cambridge University Press
ISBN: 9781107058316
Tisk na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
4 348 Kč -10 %
Logic of Infinity

Logic of Infinity

Sheppard Barnaby
AngličtinaMěkká vazbaTisk na objednávku
Cambridge University Press
ISBN: 9781107678668
Tisk na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 7. dubna 2025
1 525 Kč -10 %
Proceedings Of The Sixth Asian Logic Conference

Proceedings Of The Sixth Asian Logic Conference

AngličtinaMěkká vazba
World Scientific Publishing Co Pte Ltd
ISBN: 9789810234324
Na objednávku
Předpokládané dodání ve středu, 2. dubna 2025
Na objednávku
Předpokládané dodání ve středu, 2. dubna 2025
2 917 Kč -10 %
Information-theoretic Incompleteness

Information-theoretic Incompleteness

Chaitin, Gregory J.
AngličtinaMěkká vazba
World Scientific Publishing Co Pte Ltd
ISBN: 9789810236953
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
1 579 Kč -10 %
Automata Theory

Automata Theory

Simon Matthew
AngličtinaPevná vazba
World Scientific Publishing Co Pte Ltd
ISBN: 9789810237530
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
3 329 Kč -10 %
Invariant Sets For Windows: Resonance Structures, Attractors, Fractals And Patterns

Invariant Sets For Windows: Resonance Structures, Attractors, Fractals And Patterns

Morozov, A. D.
AngličtinaPevná vazba
World Scientific Publishing Co Pte Ltd
ISBN: 9789810240714
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
Skladem u distributora
Předpokládané dodání ve středu, 16. dubna 2025
3 123 Kč -10 %
Adventure of Reason

Adventure of Reason

Mancosu Paolo
AngličtinaMěkká vazbaTisk na objednávku
Oxford University Press
ISBN: 9780198701514
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
2 336 Kč -10 %
Meaning, Logic And Ludics

Meaning, Logic And Ludics

Lecomte, Alain (Univ De Paris Viii, France)
AngličtinaPevná vazba
Imperial College Press
ISBN: 9781848164567
Na objednávku
Předpokládané dodání ve středu, 2. dubna 2025
Na objednávku
Předpokládané dodání ve středu, 2. dubna 2025
4 324 Kč -10 %
Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Granström, Johan Georg
AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789400736399
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
4 096 Kč -10 %
Computable Functions

Computable Functions

AngličtinaMěkká vazba
American Mathematical Society
ISBN: 9780821827321
Skladem u distributora
Předpokládané dodání v pondělí, 7. dubna 2025
Skladem u distributora
Předpokládané dodání v pondělí, 7. dubna 2025
1 720 Kč -10 %
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540403326
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
1 463 Kč -10 %
Developments in Language Theory

Developments in Language Theory

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540732075
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
1 463 Kč -10 %
Semirings and their Applications

Semirings and their Applications

Golan Jonathan S.
AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789048152520
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 24. dubna 2025
3 803 Kč -10 %
Kurt Gödel: Collected Works: Volume IV

Kurt Gödel: Collected Works: Volume IV

Gödel, Kurt
AngličtinaMěkká vazbaTisk na objednávku
Oxford University Press
ISBN: 9780199689613
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
Tisk na objednávku
Předpokládané dodání ve čtvrtek, 10. dubna 2025
2 466 Kč -10 %