|
|
1.
|
|
-
ISBN:
-
978-94-007-3783-9
-
Book Format:
- Paperback
-
List Price:
- USD $169.99
-
Publisher:
- Springer Netherlands
-
Publication Date:
- Nov 2013
|
|
|
|
2.
|
|
A Constructive Type-Theoretical Approach
|
|
|
|
3.
|
|
Historical and Philosophical Aspects
-
ISBN:
-
978-3-319-97225-1
-
Book Format:
- Hardback
-
List Price:
- USD $159.99USD $159.99
-
Publisher:
- Springer International Publishing AG
-
Publication Date:
- Jan 2019
|
|
|
|
4.
|
|
-
ISBN:
-
978-94-007-1922-4
-
Book Format:
- Hardback
-
List Price:
- AUD $420.95
-
Publisher:
- Springer
-
Publication Date:
- Oct 2011
|
|
|
|
5.
|
|
-
ISBN:
-
978-1-283-45610-4
-
Book Format:
- Ebook
-
List Price:
- USD $378.00
-
Publisher:
- Springer
-
Publication Date:
- Feb 2012
|
|
|
|
6.
|
|
A Constructive Type-Theoretical Approach
|
|
|
|
7.
|
|
-
ISBN:
-
978-94-007-1922-4
-
Book Format:
- Hardback
-
List Price:
- USD $169.99
-
Publisher:
- Springer Netherlands
-
Publication Date:
- Sep 2011
|
|
|
|
8.
|
|
-
ISBN:
-
978-94-007-1923-1
-
Book Format:
- Ebook
-
List Price:
- USD $259.00
-
Publisher:
- Springer London, Limited
-
Publication Date:
- Sep 2011
|
|
|
|
9.
|
|
|
|
|
|
10.
|
|
History, Philosophy and Logic. Essays...
-
ISBN:
-
978-1-904987-92-5
-
Book Format:
- Paperback
-
List Price:
- USD $24.00
-
Publisher:
- College Publications
-
Publication Date:
- Oct 2009
|
|
|
|
11.
|
|
|
|
|
|
12.
|
|
A Constructive Type-Theoretical Approach
|
|
|
|
13.
|
|
15th Conference in Computability in Europe,...
-
ISBN:
-
978-3-030-22995-5
-
Book Format:
- Paperback
-
List Price:
- USD $79.99USD $54.99
-
Publisher:
- Springer International Publishing AG
-
Publication Date:
- Jun 2019
|
|
|
|
14.
|
|
|
|
|
|
15.
|
|
|
|
|
|
16.
|
|
-
Author:
-
Primiero, Giuseppe
-
ISBN:
-
978-0-19-187323-2
-
Book Format:
- Online resource
-
List Price:
- USD $105.00
-
Publisher:
- Oxford University Press, Incorporated
-
Publication Date:
- Jul 2020
|
|
|
|
17.
|
|
A Constructive Type-Theoretical Approach
|
|
|
|
18.
|
|
-
ISBN:
-
978-94-007-3783-9
-
Book Format:
- Paperback
-
List Price:
- AUD $420.95
-
Publisher:
- Springer
-
Publication Date:
- Dec 2013
|
|
|
|
19.
|
|
A Constructive Type-Theoretical Approach
|
|
|
|
20.
|
|
|
|