Volume 10 (23) 2007: From Insight to Proof: Festschrift in Honour of Andrzej Trybulec William M. Farmer Chiron: A Multi-Paradigm Logic Mieczysław Omyła Remarks on Non-Fregean Logic Xiquan Liang, Fuguo Ge, and Li Yan Some Logical Aspects of Mathematical Reasoning		ISBN 978-83-7431-128-1
Thomas C. Hales Jordan's Proof of the Jordan Curve Theorem Zinaida Trybulec and Halina Święczkowska Some Remarks on The Language of Mathematical Texts Manfred Kerber and Martin Pollet Informal and Formal Representations in Mathematics Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells Gradual Computerisation/Formalisation of Mathematical Texts into Mizar Freek Wiedijk The QED Manifesto Revisited Roy McCasland, Alan Bundy, and Serge Autexier Automated Discovery of Inductive Theorems John Harrison Formalizing Basic Complex Analysis Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto On the Formalization of Lebesgue Integrals Adam Grabowski and Artur Korniłowicz Computer-Assisted Reasoning about Algebraic Topology Adam Naumowicz Evaluating Prospective Built-in Elements of Computer Algebra in Mizar Yatsuka Nakamura Proving the Correctness of Functional Programs using Mizar Katsumi Wasaki A Verification for Redundant Signed Digit Adder Circuits Joerg Siekmann and Serge Autexier Computer Supported Formal Work: Towards a Digital Mathema- tical Assistant Jeremy Gow and Paul Cairns Closing the Gap Between Formal and Digital Libraries of Mathe- matics Grzegorz Bancerek and Michael Kohlhase Towards a Mizar Mathematical Library in OMDoc Format Makarius Wenzel Isabelle/Isar - a Generic Framework for Human-Readable Proof Documents Christoph E. Benzmueller and Chad E. Brown The Curious Inference of Boolos in Mizar and OMEGA Christoph Schwarzweller Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems Bibliography file for this volume

Copyright © 2007 STUDIES IN LOGIC, GRAMMAR AND RHETORIC ISSN 0860-150X. Articles are copyrighted by their respective authors.