EMS Magazine
ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Berkeley, 1990
Frege's theorem and his logicism
Don't eliminate cut
Models as Universes
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Talk:Mathematical induction/Archive - Wikipedia
2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '14 Vienna, AUSTRIA July 14-19, 2014
SECOND ORDER ARITHMETIC AND RELATED TOPICS * K.R. APT and W. MAREK Piet Hein Introduction Second order arithmetic A 2 is a theor
Reflection Principles and Iterated Consistency Assertions
Provability, Truth, and Modal Logic
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq
Chapter 4 Kant's Modal Concepts in: Absolute Form: Modality, Individuality and the Principle of Philosophy in Kant and Hegel
Basic Law (V)
Well- and Non-Well-Founded Fregean Extensions
PDF) On an Abstract Theory of Computational Models and the Converse of Rice ' s Theorem | Walter Carnielli - Academia.edu
Provability: The Emergence of a Mathematical Modality
y( ) \ .() \ ) ( co1 ) c ( y( ) \ .() \ ) ( co1 ) c
PDF) Truth, disjunction, and induction
AN INSIDE VIEW OF EXP; THE CLOSED FRAGMENT OF THE PROVABILITY LOGIC OF \A0 + Ql WITH A PROPOSITIONAL CONSTANT FOR EXP §1. Intro
The Logic of Provability - George Boolos - Google Books
Raymond Smullyan on Self Reference
Frege's Theorem and the Peano Postulates
REFLECTION PRINCIPLES AND ITERATED CONSISTENCY ASSERTIONS This paper compares the strength of two sorts of sentences of PA (clas
REVIEWS 18 September 1980, p. 12), the collection, which had a perfectly clear rationale in 1952, now falls between two stools:
