Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Fading Foundations [electronic resource] : Probability and the Regress Problem / by David Atkinson, Jeanne Peijnenburg. by Atkinson, David [author.] Peijnenburg, Jeanne [author.] SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 383 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister. by Piecha, Thomas [editor.] Schroeder-Heister, Peter [editor.] SpringerLink (Online service) Series: Trends in Logic, Studia Logica Library ; 43 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25-27, 1975 [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm. by Symposium on Symbol for Lambda-Calculus and Computer Science Theory (1975 : Rome, Italy) Böhm, C. (Corrado), 1923- Istituto per le applicazioni del calcolo Series: Lecture notes in computer science ; 37. Material type: Text; Format: available online ; Literary form: Not fiction Language: English, French Language: engfre Publisher: Berlin ; New York : Springer-Verlag, 1975 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings. by Abramsky, Samson Series: Lecture notes in computer science ; 2044, Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings. by Gottlob, G. (Georg) Leitsch, Alexander Mundici, Daniele Series: Lecture notes in computer science ; 1289, Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). by Conference on Computability in Europe (9th : 2013 : Milan, Italy) Bonizzoni, Paola Brattka, Vasco, 1966- Löwe, Benedikt Series: Lecture notes in computer science ; 7921. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013 Other title: CiE 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Constructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases / Ihsen Yengui. by Yengui, Ihsen [author.] Series: Lecture notes in mathematics (Springer-Verlag) ; 2138. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha