This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

The Symposium entitled: Causality and Locality in Modern Physics and As tronomy: Open Questions and Possible Solutions was held at York University, Toronto, during the last week of August 1997. It was a sequel to a similar sym posium entitled: The Present Status of the Quantum Theory of Light held at the same venue in August 1995. These symposia came about as a result of discussions between Professor Stanley Jeffers and colleagues on the International Organizing Committee. Professor Jeffers was the executive local organizer of the symposia. The 1997 symposium attracted over 120 participants...

Jean-Pierre Vigier continually labeled one of les heretiques de la science, l eternel resistant et le patriarche is yet a pillar of modern physics and mathematics, with one leg firmly planted in theory and the other in empiricism spanning a career of nearly 60 years with a publication vitae quickly approaching 400 He wrote of his mentor Louis de Broglie Great physicists fight great battles, which perhaps applies even more so to 1 Jean-Pierre Vigier himself . If fortune allows a visit to Paris, reported to be the city of love, and certainly one of the most beautiful and interesting cities in...