Browsing “Logic” (Showing 21 - 40 of 1312 results)

An Introduction with Connections from Combinatorics to Topology

Protagonists of the Twentieth Century From Hilbert to Wiles

A Formal Approach

Towards a General Theory of Logic

An Introduction

5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings

Eine geführte Reise durch Kurt Gödels historischen Beweis

8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Logic, Mathematics, Philosophy

Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Meaning in Between Phenomenology and Constructivism