Showing 1 - 20 results of 110 for search 'Logic' Narrow Search
1
Academic Journal
3
Book

Contributors: Hirvonen, A., Kontinen, J., Kossak, R., Villaveces, A.

File Description: application/pdf

Relation: http://eprints.maths.manchester.ac.uk/2358/; http://eprints.maths.manchester.ac.uk/2358/1/jp140916TwinProofs.pdf; Paris, J.B. and Vencovska, A. (2015) The Twin Continua of Inductive Methods. In: Logic without Borders. Ontos Mathematical Logic, Volume . De Gruyter, Germany, pp. 355-366. ISBN 978-1-61451-772-6

8
Academic Journal
11
Conference
12
Book

Contributors: Fisher, Michael, Sadri, Fariba, Thielscher, Michael

File Description: application/pdf

Relation: http://eprints.maths.manchester.ac.uk/1235/; http://eprints.maths.manchester.ac.uk/1235/1/clima.pdf; Bujorianu, Marius and Bujorianu, Manuela and Barringer, Howard (2009) A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems. In: Proceeding of the 9th CLIMA workshop. Lecture Notes in Computer Science . Springer Verlag, Berlin, Germany. (In Press)

13
Academic Journal
14
Academic Journal
18
Book

Authors: Wilkie, A J

File Description: application/pdf

Relation: http://eprints.maths.manchester.ac.uk/1743/; http://eprints.maths.manchester.ac.uk/1743/1/holomorphic.pdf; Wilkie, A J (2008) Some local definability theory for holomorphic functions. In: Model Theory with Applications to Algebra and Analysis. London Mathematical Society Lecture Note Series, 1 (349). Cambridge University Press, Cambridge, pp. 197-213. ISBN 978-0-521-70908-8

19
Conference

File Description: application/pdf

Relation: http://eprints.maths.manchester.ac.uk/1061/; http://eprints.maths.manchester.ac.uk/1061/1/ENS08.pdf; Borovik, Alexandre (2008) Ubiquity and uniqueness: everyday mathematics from a model-theoretic perspective. In: Seminaire ``Des Mathematiques", 16 January 2008, Ecole Normale Superieure, Paris. (Unpublished)

20
Book

Authors: Hosni, Hykel

Contributors: Pietarinen, Ahti-Veikko, Majer, Ondrej, Tulenheimo, Tero

File Description: application/pdf

Relation: http://eprints.maths.manchester.ac.uk/103/; http://eprints.maths.manchester.ac.uk/103/1/interpretation_coordination_and_conformity.pdf; Hosni, Hykel (2005) Interpretation, coordination and conformity. In: Logic and Games: Foundational Perspectives. Springer. (In Press)