On the Role of Implication in Formal Logic
by
Jonathan Seldin Department
,
Jonathan P. Seldin
,
As A
Active Bibliography
| On the Role of Implication in Formal Logic – Jonathan Seldin, As A - 1998 | |
| Curry's Anticipation of the Types Used in Programming Languages – Jonathan P. Seldin - 2003 | |
| Lambda-Calculus and Functional Programming – Jonathan P. Seldin | |
| 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 |
| 17 | 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 |
| 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 | |
| Manipulating Proofs – Jonathan Seldin Department, Jonathan P. Seldin | |
| Abstraction-Based Genetic Programming By – Franck J. L. Binard | |
| *-calculus and Combinatory Logic – unknown authors - 2001 | |
| A Gentzen-Style Sequent Calculus of Constructions With Expansion Rules – Jonathan Seldin Department, Jonathan P. Seldin - 2000 | |
| 6 | Structuring Metatheory on Inductive Definitions – David Basin, Seán Matthews - 2000 |
| 3 | A Gentzen-Style Sequent Calculus of Constructions With Expansion Rules – Jonathan Seldin - 2000 |
| 3 | Logic of subtyping – Pavel Naumov - 2005 |
| 1 | On modal logics of partial recursive functions – Pavel Naumov |
| 9 | Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination – Henk Barendregt, Silvia Ghilezan |
| 14 | On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001 |
