Lambda Calculus with Types
Autor Henk Barendregt et al.
19 iun 2013
Hardback
Preț: 615.03 lei 691.04 lei
6-8 săpt.
-11%
Perspectives in Logic
Subsystems of Second Order Arithmetic
Autor Stephen G. Simpson
17 feb 2010
Paperback
Preț: 427.64 lei
6-8 săpt.
Pure Inductive Logic
Autor Jeffrey Paris et al.
apr 2015
Hardback
Preț: 890.89 lei 1035.92 lei
6-8 săpt.
-14%
Proofs and Computations
Autor Helmut Schwichtenberg et al.
14 dec 2011
Hardback
Preț: 550.71 lei 618.78 lei
6-8 săpt.
-11%
Computable Structure Theory: Within the Arithmetic
Autor Antonio Montalbán
23 iun 2021
Hardback
Preț: 778.19 lei 904.87 lei
6-8 săpt.
-14%
Computability in Analysis and Physics
Autor Marian B. Pour-El et al.
mar 2017
Hardback
Preț: 786.33 lei 982.92 lei
6-8 săpt.
-20%
Higher Recursion Theory
Autor Gerald E. Sacks
mar 2017
Hardback
Preț: 917.72 lei 1147.16 lei
6-8 săpt.
-20%
Metamathematics of First-Order Arithmetic
Autor Petr Hájek et al.
mar 2017
Hardback
Preț: 1019.26 lei 1185.18 lei
6-8 săpt.
-14%
Essential Stability Theory
Autor Steven Buechler
mar 2017
Hardback
Preț: 894.52 lei 1040.13 lei
6-8 săpt.
-14%
Proper and Improper Forcing
Autor Saharon Shelah
22 mar 2017
Hardback
Preț: 1231.15 lei 1431.57 lei
6-8 săpt.
-14%
Constructibility
Autor Keith J. Devlin
15 mar 2017
Hardback
Preț: 925.41 lei 1076.05 lei
6-8 săpt.
-14%
Admissible Sets and Structures
Autor Jon Barwise
mar 2017
Hardback
Preț: 896.98 lei 1043.01 lei
6-8 săpt.
-14%
Model-Theoretic Logics
Editat de J. Barwise et al.
mar 2017
Hardback
Preț: 1438.41 lei 1672.57 lei
6-8 săpt.
-14%
Recursion-Theoretic Hierarchies
Autor Peter G. Hinman
mar 2017
Hardback
Preț: 1020.23 lei 1186.32 lei
6-8 săpt.
-14%
General Recursion Theory: An Axiomatic Approach
Autor Jens E. Fenstad
mar 2017
Hardback
Preț: 787.31 lei 984.14 lei
6-8 săpt.
-20%
Degrees of Unsolvability: Local and Global Theory
Autor Manuel Lerman
5 apr 2017
Hardback
Preț: 794.88 lei 924.28 lei
6-8 săpt.
-14%
Fundamentals of Stability Theory
Autor John T. Baldwin
mar 2017
Hardback
Preț: 1018.44 lei 1184.23 lei
6-8 săpt.
-14%