Lambda Calculus with Types
Autor Henk Barendregt et al.
19 iun 2013
Hardback
Preț: 597.44 lei 671.28 lei
6-8 săpt.
-11%
Perspectives in Logic
Subsystems of Second Order Arithmetic
Autor Stephen G. Simpson
17 feb 2010
Paperback
Preț: 415.46 lei
6-8 săpt.
Pure Inductive Logic
Autor Jeffrey Paris et al.
apr 2015
Hardback
Preț: 865.34 lei 1006.20 lei
6-8 săpt.
-14%
Proofs and Computations
Autor Helmut Schwichtenberg et al.
14 dec 2011
Hardback
Preț: 534.98 lei 601.09 lei
6-8 săpt.
-11%
Computable Structure Theory: Within the Arithmetic
Autor Antonio Montalbán
23 iun 2021
Hardback
Preț: 755.90 lei 878.94 lei
6-8 săpt.
-14%
Computability in Analysis and Physics
Autor Marian B. Pour-El et al.
mar 2017
Hardback
Preț: 763.79 lei 954.74 lei
6-8 săpt.
-20%
Higher Recursion Theory
Autor Gerald E. Sacks
mar 2017
Hardback
Preț: 891.40 lei 1114.25 lei
6-8 săpt.
-20%
Metamathematics of First-Order Arithmetic
Autor Petr Hájek et al.
mar 2017
Hardback
Preț: 989.98 lei 1151.15 lei
6-8 săpt.
-14%
Essential Stability Theory
Autor Steven Buechler
mar 2017
Hardback
Preț: 868.84 lei 1010.28 lei
6-8 săpt.
-14%
Proper and Improper Forcing
Autor Saharon Shelah
22 mar 2017
Hardback
Preț: 1195.80 lei 1390.46 lei
6-8 săpt.
-14%
Constructibility
Autor Keith J. Devlin
15 mar 2017
Hardback
Preț: 898.85 lei 1045.18 lei
6-8 săpt.
-14%
Admissible Sets and Structures
Autor Jon Barwise
mar 2017
Hardback
Preț: 871.25 lei 1013.08 lei
6-8 săpt.
-14%
Model-Theoretic Logics
Editat de J. Barwise et al.
mar 2017
Hardback
Preț: 1397.07 lei 1624.50 lei
6-8 săpt.
-14%
Recursion-Theoretic Hierarchies
Autor Peter G. Hinman
mar 2017
Hardback
Preț: 990.95 lei 1152.27 lei
6-8 săpt.
-14%
General Recursion Theory: An Axiomatic Approach
Autor Jens E. Fenstad
mar 2017
Hardback
Preț: 764.76 lei 955.94 lei
6-8 săpt.
-20%
Degrees of Unsolvability: Local and Global Theory
Autor Manuel Lerman
5 apr 2017
Hardback
Preț: 772.10 lei 897.79 lei
6-8 săpt.
-14%
Fundamentals of Stability Theory
Autor John T. Baldwin
mar 2017
Hardback
Preț: 989.22 lei 1150.25 lei
6-8 săpt.
-14%