Matches in DBpedia 2015-10 for { <http://www.springer.com/philosophy/logic/book/978-0-7923-5687-5> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- 978-0-7923-5687-5 chapter "Labelled Natural Deduction".
- 978-0-7923-5687-5 editor1First "Hans-Juergen".
- 978-0-7923-5687-5 editor1Last "Ohlbach".
- 978-0-7923-5687-5 editor2First "Uwe".
- 978-0-7923-5687-5 editor2Last "Reyle".
- 978-0-7923-5687-5 first1 "Ruy".
- 978-0-7923-5687-5 first2 "Dov".
- 978-0-7923-5687-5 isCitedBy Curry–Howard_correspondence.
- 978-0-7923-5687-5 isbn "978-0-7923-5687-5".
- 978-0-7923-5687-5 last1 "de Queiroz".
- 978-0-7923-5687-5 last2 "Gabbay".
- 978-0-7923-5687-5 pages "173–250".
- 978-0-7923-5687-5 publisher Kluwer_Acad._Pub..
- 978-0-7923-5687-5 series "Trends in Logic".
- 978-0-7923-5687-5 title "Logic, Language and Reasoning. Essays in Honor of Dov Gabbay".
- 978-0-7923-5687-5 url 978-0-7923-5687-5.
- 978-0-7923-5687-5 volume "7".
- 978-0-7923-5687-5 year "1999".