iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/books/daglib/p/Crossley11a.nt
. . . . "John N. Crossley: What Is a Proof? (2011)" . . _:ID_17355c38581dd3542e80b553b7f81cd5 . _:ID_17355c38581dd3542e80b553b7f81cd5 . _:ID_17355c38581dd3542e80b553b7f81cd5 . _:ID_17355c38581dd3542e80b553b7f81cd5 . _:ID_17355c38581dd3542e80b553b7f81cd5 "books/daglib/p/Crossley11a" . _:ID_1a398c42e779c551de5d0caad47e107f . _:ID_1a398c42e779c551de5d0caad47e107f . _:ID_1a398c42e779c551de5d0caad47e107f . _:ID_1a398c42e779c551de5d0caad47e107f . _:ID_1a398c42e779c551de5d0caad47e107f "10.1007/978-94-007-0080-2_3" . "What Is a Proof?" . . . . "1"^^ . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 "John N. Crossley" . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 "1"^^ . _:Sig_b3746f626863d098cabfc87dc83e1a19_1 . . . . "35-52" . "Proof, Computation and Agency" . "Proof, Computation and Agency" . "2011"^^ . . "provenance information for RDF data of dblp record 'books/daglib/p/Crossley11a'" . . . . "2017-05-16T14:01:40+0200" .