On the Role of Implication in Formal Logic

Cached

Download Links

by Jonathan Seldin Department , Jonathan P. Seldin , As A

Active Bibliography

On the Role of Implication in Formal Logic – Jonathan Seldin, As A - 1998
1 Curry's Anticipation of the Types Used in Programming Languages – Jonathan P. Seldin - 2003
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
1 Variants of the Basic Calculus of Constructions – M. W. Bunder, Jonathan P. Seldin - 2004
Handbook of the History of Logic. Volume 6 – Andrea Cantini, Dov M. Gabbay, John Woods (editors
2 Why sets? – Andreas Blass, Yuri Gurevich - 2008
en Intel·ligència Artificial – Àngel García-cerdaña, Foreword Francesc Esteva, Ventura Verdú, Consell Superior D’investigacions Científiques, Prof Francesc, Esteva Massaguer, Prof Ventura, Verdú Solans, Àngel García I Cerdaña, Consell Superior
1 On the Undecidability of Some Sub-classical First-order Logics – Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
Russell’s 1903 – 1905 Anticipation of the Lambda Calculus – Kevin C. Klement - 2003
Before we begin: Thank you, thank you, thank you,... Walter.WassollmanzudiesemMannnochsagen? – Stefan Müller, Molekulare Strukturbiologie, Den Meisterdenkern, Peter Peter, Und Ivo, Den Gesellen Christoph, Stephan Und Alex, Den Lehrlingen Thomas, Andreas Günther Roman, Dagmar Und Michael Zusammenfassung
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
A semantic approach to illative combinatory logic ∗ – Łukasz Czajka
Manipulating Proofs – Jonathan Seldin Department, Jonathan P. Seldin
*-calculus and Combinatory Logic – unknown authors - 2001
Abstraction-Based Genetic Programming By – Franck J. L. Binard
A Gentzen-Style Sequent Calculus of Constructions With Expansion Rules – Jonathan Seldin Department, Jonathan P. Seldin - 2000
3 A Gentzen-Style Sequent Calculus of Constructions With Expansion Rules – Jonathan Seldin - 2000
7 Structuring Metatheory on Inductive Definitions – David Basin, Seán Matthews - 2000
1 Poetic effects – Silvia Ghilezan - 1992