Search Results

1

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /

Published 2016

Ver documento en línea

Book

2

A logical introduction to proof /

A logical introduction to proof /

by Cunningham, Daniel Wendell
Published 2012

Ver documento en línea

Book

3

A mathematical prelude to the philosophy of mathematics /

A mathematical prelude to the philosophy of mathematics /

by Pollard, Stephen
Published 2014

Ver documento en línea

Book

4

A model-theoretic approach to proof theory /

A model-theoretic approach to proof theory /

by Kotlarski, Henryk 1949-2008
Published 2019

Ver documento en línea

Book

5

A new perspective on nonmonotonic logics /

A new perspective on nonmonotonic logics /

by Gabbay, Dov M. 1945-
Published 2016

Ver documento en línea

Book

6

ABZ 2014 : The Landing gear case study: Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /

ABZ 2014 : The Landing gear case study: Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6...

Published 2014

Ver documento en línea

Book

7

AI*IA 2013 : Advances in artificial intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings /

AI*IA 2013 : Advances in artificial intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceed...

Published 2013

Ver documento en línea

Book

8

AI*IA 2015 : Advances in artificial intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence Ferrara, Italy, September 23-25, 2015, Proceedings 123 /

AI*IA 2015 : Advances in artificial intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence Ferrara, Italy, September 23-25, 2015, Proc...

Published 2015

Ver documento en línea

Book

9

A Science of Operations : machines, logic and the invention of programming /

A Science of Operations : machines, logic and the invention of programming /

by Priestley, Mark Peter
Published 2011

Ver documento en línea

Book

10

Guía metodológica para la construcción de conceptos lógico-matemáticos en el niño con edad entre los cuatro años, seis meses y cinco años, seis meses : una propuesta /

Guía metodológica para la construcción de conceptos lógico-matemáticos en el niño con edad entre los cuatro años, seis meses y cinco años, seis meses : una propuesta /...

by Durán Díaz, Flory
Published 2001

Thesis Book

11

Theory of formal systems /

Theory of formal systems /

by Smullyan, Raymond M.
Published 1961

Book

12

A concise introduction to mathematical logic /

A concise introduction to mathematical logic /

by Rautenberg, Wolfgang 1936-2011
Published 2010

Ver documento en línea

Book

13

Modifying your thinking classroom for different settings : a supplement to building thinking classroom in mathematics /

Modifying your thinking classroom for different settings : a supplement to building thinking classroom in mathematics /

by Liljedahl, Peter Gunnar 1967-
Published 2022

Book