Sekvencinis skaičiavimas (Lithuanian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Sekvencinis skaičiavimas" in Lithuanian language version.

refsWebsite

Global rank Lithuanian rank

5sciencedirect.com

149^th place

143^rd place

4worldcat.org

5^th place

16^th place

1sciencedirectassets.com

low place

1archives-ouvertes.fr

1,031^st place

3,937^th place

1cambridge.org

305^th place

529^th place

1ru.nl

9,179^th place

low place

1utm.edu

1,379^th place

408^th place

1stanford.edu

179^th place

120^th place

1researchgate.net

120^th place

152^nd place

archives-ouvertes.fr

hal.archives-ouvertes.fr

Farooque, Mahfuza (2013). „Automated reasoning techniques as proof-search in sequent calculus“: 13–29. {{cite journal}}: Citatai journal privalomas |journal= (pagalba)

cambridge.org

von Plato, Jan (2011). „A sequent calculus isomorphic to Gentzen's natural deduction“. The Review of Symbolic Logic. Cambridge University Press. 4: 43–53.

researchgate.net

Perea, Miranda; Arevalo, Favio; Arevalo, Linares; Llera, Pilar; Llera, Aliseda; Atocha (2015). „How to prove it in Natural Deduction: A Tactical Approach“. {{cite journal}}: Citatai journal privalomas |journal= (pagalba)

ru.nl

van der Giessen, Iris (2018). „Natural Deduction Derived from Truth Tables“ (PDF). {{cite journal}}: Citatai journal privalomas |journal= (pagalba)^{[neveikianti nuoroda]}

sciencedirect.com

Hughes, Dominic (2010). „A minimal classical sequent calculus free of structural rules“. Annals of Pure and Applied Logic. 161: 1244–1253.
Zach, Richard (2007). Jacquette, Dale (red.). „Hilbert's Program Then and Now“. Philosophy of Logic. Handbook of the Philosophy of Science. Amsterdam: North-Holland: 411–447. ISSN 1878-9846.
Sieg, Wilfried (2009). „Hilbert’s Proof Theory“. Logic from Russell to Church. Handbook of the History of Logic. Amsterdam: North-Holland. 5: 321–384. ISSN 1874-5857.
Statman, Richard (1977). Barwise, Jon (red.). „Herbrand's Theorem and Gentzen's Notion of a Direct Proof“. Handbook of mathematical logic. Studies in Logic and the Foundations of Mathematics. Elsevier. 90: 897–912. ISSN 0049-237X.
Mints, G. E. (1995). Prawitz, Dag; Skyrms, Brian; Westerståhl, Dag (eds.). „Gentzen-type systems and Hilbert's epsilon substitution method. I“. Logic, Methodology and Philosophy of Science IX. Studies in Logic and the Foundations of Mathematics. Elsevier. 134: 91–122. ISSN 0049-237X.

sciencedirectassets.com

pdf.sciencedirectassets.com

Zucker, J (1974). „The correspondence between cut-elimination and normalization“ (PDF). Annals of mathematical logic. Eindhoven, The Netherlands: North-Holland. 7: 1–112.

stanford.edu

plato.stanford.edu

von Plato, Jan. „The Development of Proof Theory“. The Stanford Encyclopedia of Philosophy (Winter 2018 Edition).

utm.edu

iep.utm.edu

Indrzejczak, Andrzej. „Natural Deduction“. Internet Encyclopedia of Philosophy.

worldcat.org

Zach, Richard (2007). Jacquette, Dale (red.). „Hilbert's Program Then and Now“. Philosophy of Logic. Handbook of the Philosophy of Science. Amsterdam: North-Holland: 411–447. ISSN 1878-9846.
Sieg, Wilfried (2009). „Hilbert’s Proof Theory“. Logic from Russell to Church. Handbook of the History of Logic. Amsterdam: North-Holland. 5: 321–384. ISSN 1874-5857.
Statman, Richard (1977). Barwise, Jon (red.). „Herbrand's Theorem and Gentzen's Notion of a Direct Proof“. Handbook of mathematical logic. Studies in Logic and the Foundations of Mathematics. Elsevier. 90: 897–912. ISSN 0049-237X.
Mints, G. E. (1995). Prawitz, Dag; Skyrms, Brian; Westerståhl, Dag (eds.). „Gentzen-type systems and Hilbert's epsilon substitution method. I“. Logic, Methodology and Philosophy of Science IX. Studies in Logic and the Foundations of Mathematics. Elsevier. 134: 91–122. ISSN 0049-237X.