Lambda Calculus with Types
Autor Henk Barendregt et al.
19 iun 2013
Hardback
Preț: 602.61 lei 677.08 lei
6-8 săpt.
-11%
Perspectives in Logic
Subsystems of Second Order Arithmetic
Autor Stephen G. Simpson
17 feb 2010
Paperback
Preț: 419.06 lei
6-8 săpt.
Pure Inductive Logic
Autor Jeffrey Paris et al.
apr 2015
Hardback
Preț: 872.85 lei 1014.95 lei
6-8 săpt.
-14%
Proofs and Computations
Autor Helmut Schwichtenberg et al.
14 dec 2011
Hardback
Preț: 539.58 lei 606.28 lei
6-8 săpt.
-11%
Computable Structure Theory: Within the Arithmetic
Autor Antonio Montalbán
23 iun 2021
Hardback
Preț: 762.45 lei 886.57 lei
6-8 săpt.
-14%
Computability in Analysis and Physics
Autor Marian B. Pour-El et al.
mar 2017
Hardback
Preț: 770.43 lei 963.03 lei
6-8 săpt.
-20%
Higher Recursion Theory
Autor Gerald E. Sacks
mar 2017
Hardback
Preț: 899.15 lei 1123.93 lei
6-8 săpt.
-20%
Metamathematics of First-Order Arithmetic
Autor Petr Hájek et al.
mar 2017
Hardback
Preț: 998.59 lei 1161.15 lei
6-8 săpt.
-14%
Essential Stability Theory
Autor Steven Buechler
mar 2017
Hardback
Preț: 876.39 lei 1019.07 lei
6-8 săpt.
-14%
Proper and Improper Forcing
Autor Saharon Shelah
22 mar 2017
Hardback
Preț: 1206.19 lei 1402.54 lei
6-8 săpt.
-14%
Constructibility
Autor Keith J. Devlin
15 mar 2017
Hardback
Preț: 906.65 lei 1054.25 lei
6-8 săpt.
-14%
Admissible Sets and Structures
Autor Jon Barwise
mar 2017
Hardback
Preț: 878.83 lei 1021.89 lei
6-8 săpt.
-14%
Model-Theoretic Logics
Editat de J. Barwise et al.
mar 2017
Hardback
Preț: 1409.23 lei 1638.63 lei
6-8 săpt.
-14%
Recursion-Theoretic Hierarchies
Autor Peter G. Hinman
mar 2017
Hardback
Preț: 999.56 lei 1162.28 lei
6-8 săpt.
-14%
General Recursion Theory: An Axiomatic Approach
Autor Jens E. Fenstad
mar 2017
Hardback
Preț: 771.38 lei 964.23 lei
6-8 săpt.
-20%
Degrees of Unsolvability: Local and Global Theory
Autor Manuel Lerman
5 apr 2017
Hardback
Preț: 778.80 lei 905.57 lei
6-8 săpt.
-14%
Fundamentals of Stability Theory
Autor John T. Baldwin
mar 2017
Hardback
Preț: 997.79 lei 1160.23 lei
6-8 săpt.
-14%