Lambda Calculus with Types
Autor Henk Barendregt et al.
19 iun 2013
Hardback
Preț: 625.98 lei 703.35 lei
6-8 săpt.
-11%
Perspectives in Logic
Subsystems of Second Order Arithmetic
Autor Stephen G. Simpson
17 feb 2010
Paperback
Preț: 435.53 lei
6-8 săpt.
Proofs and Computations
Autor Helmut Schwichtenberg et al.
14 dec 2011
Hardback
Preț: 563.96 lei 633.65 lei
6-8 săpt.
-11%
Pure Inductive Logic
Autor Jeffrey Paris et al.
apr 2015
Hardback
Preț: 911.70 lei 1060.12 lei
6-8 săpt.
-14%
Metamathematics of First-Order Arithmetic
Autor Petr Hájek et al.
15 feb 2017
Hardback
Preț: 1042.69 lei 1212.43 lei
6-8 săpt.
-14%
Computable Structure Theory: Within the Arithmetic
Autor Antonio Montalbán
23 iun 2021
Hardback
Preț: 789.55 lei 918.08 lei
6-8 săpt.
-14%
Computability in Analysis and Physics
Autor Marian B. Pour-El et al.
mar 2017
Hardback
Preț: 805.53 lei 1006.90 lei
6-8 săpt.
-20%
Higher Recursion Theory
Autor Gerald E. Sacks
mar 2017
Hardback
Preț: 937.44 lei 1171.80 lei
6-8 săpt.
-20%
Essential Stability Theory
Autor Steven Buechler
mar 2017
Hardback
Preț: 915.20 lei 1064.18 lei
6-8 săpt.
-14%
Constructibility
Autor Keith J. Devlin
15 mar 2017
Hardback
Preț: 945.04 lei 1098.89 lei
6-8 săpt.
-14%
Admissible Sets and Structures
Autor Jon Barwise
mar 2017
Hardback
Preț: 917.58 lei 1066.95 lei
6-8 săpt.
-14%
Model-Theoretic Logics
Editat de J. Barwise et al.
mar 2017
Hardback
Preț: 1465.80 lei 1704.42 lei
6-8 săpt.
-14%
Recursion-Theoretic Hierarchies
Autor Peter G. Hinman
mar 2017
Hardback
Preț: 1041.71 lei 1211.30 lei
6-8 săpt.
-14%
General Recursion Theory: An Axiomatic Approach
Autor Jens E. Fenstad
mar 2017
Hardback
Preț: 806.48 lei 1008.10 lei
6-8 săpt.
-20%
Degrees of Unsolvability: Local and Global Theory
Autor Manuel Lerman
5 apr 2017
Hardback
Preț: 813.95 lei 946.45 lei
6-8 săpt.
-14%
Fundamentals of Stability Theory
Autor John T. Baldwin
mar 2017
Hardback
Preț: 1039.98 lei 1209.28 lei
6-8 săpt.
-14%