Hilbert system (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Hilbert system" in English language version.

refsWebsite

Global rank English rank

10books.google.com

3^rd place

7google.com.br

622^nd place

low place

4doi.org

2^nd place

3cambridge.org

305^th place

264^th place

2stanford.edu

179^th place

183^rd place

1columbia.edu

488^th place

374^th place

1metamath.org

low place

1worldcat.org

5^th place

1springer.com

274^th place

309^th place

books.google.com

Smith, Peter (2013-02-21). An Introduction to Gödel's Theorems. Cambridge University Press. p. 10. ISBN 978-1-107-02284-3.
Restall, Greg (2002-09-11). An Introduction to Substructural Logics. Routledge. pp. 73–74. ISBN 978-1-135-11131-1.
Bacon, Andrew (2023-09-29). A Philosophical Introduction to Higher-order Logics. Taylor & Francis. p. 424. ISBN 978-1-000-92575-3.
Eijck, Jan van (1991-02-26). Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings. Springer Science & Business Media. p. 113. ISBN 978-3-540-53686-4.
Ono, Hiroakira (2019-08-02). Proof Theory and Algebra in Logic. Springer. p. 5. ISBN 978-981-13-7997-0.
Gabbay, Dov M.; Guenthner, Franz (2013-03-14). Handbook of Philosophical Logic. Springer Science & Business Media. p. 201. ISBN 978-94-017-0458-8.
Smullyan, Raymond M. (2014-07-23). A Beginner's Guide to Mathematical Logic. Courier Corporation. pp. 102–103. ISBN 978-0-486-49237-7.
Mendelsohn, Richard L. (2005-01-10). The Philosophy of Gottlob Frege. Cambridge University Press. p. 185. ISBN 978-1-139-44403-3.
Łukasiewicz, Jan (1970). Jan Lukasiewicz: Selected Works. North-Holland. p. 136.
Church, Alonzo (1996). Introduction to Mathematical Logic. Princeton University Press. p. 119. ISBN 978-0-691-02906-1.

cambridge.org

Troelstra, A. S.; Schwichtenberg, H. (2000). Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science (2 ed.). Cambridge: Cambridge University Press. p. 51. doi:10.1017/cbo9781139168717. ISBN 978-0-521-77911-1.
Troelstra, A. S.; Schwichtenberg, H. (2000). Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science (2 ed.). Cambridge: Cambridge University Press. p. 51. doi:10.1017/cbo9781139168717. ISBN 978-0-521-77911-1.
Cook, Stephen A.; Reckhow, Robert A. (1979). "The relative efficiency of propositional proof systems". The Journal of Symbolic Logic. 44 (1): 39. doi:10.2307/2273702. ISSN 0022-4812.

columbia.edu

Gaifman, Haim (2002). "A Hilbert Type Deductive System for Sentential Logic, Completeness and Compactness" (PDF). Columbia. Retrieved 2024-08-19.

doi.org

Troelstra, A. S.; Schwichtenberg, H. (2000). Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science (2 ed.). Cambridge: Cambridge University Press. p. 51. doi:10.1017/cbo9781139168717. ISBN 978-0-521-77911-1.
Troelstra, A. S.; Schwichtenberg, H. (2000). Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science (2 ed.). Cambridge: Cambridge University Press. p. 51. doi:10.1017/cbo9781139168717. ISBN 978-0-521-77911-1.
Cook, Stephen A.; Reckhow, Robert A. (1979). "The relative efficiency of propositional proof systems". The Journal of Symbolic Logic. 44 (1): 39. doi:10.2307/2273702. ISSN 0022-4812.
Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths of proofs in propositional calculus". Computer Science Logic. Berlin, Heidelberg: Springer: 152. doi:10.1007/BFb0022253. ISBN 978-3-540-49404-1.

google.com.br

Benthem, Johan van; Gupta, Amitabha; Parikh, Rohit (2011-04-02). Proof, Computation and Agency: Logic at the Crossroads. Springer Science & Business Media. p. 41. ISBN 978-94-007-0080-2.
Bacon, Andrew (2023-09-29). A Philosophical Introduction to Higher-order Logics. Taylor & Francis. p. 424. ISBN 978-1-000-92575-3.
Eijck, Jan van (1991-02-26). Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings. Springer Science & Business Media. p. 113. ISBN 978-3-540-53686-4.
Haack, Susan (1978-07-27). Philosophy of Logics. Cambridge University Press. p. 19. ISBN 978-0-521-29329-7.
Lucas, J. R. (2018-10-10). A Treatise on Time and Space. Routledge. p. 152. ISBN 978-0-429-68517-0.
Ono, Hiroakira (2019-08-02). Proof Theory and Algebra in Logic. Springer. p. 5. ISBN 978-981-13-7997-0.

books.google.com.br

Buss, S. R. (1998-07-09). Handbook of Proof Theory. Elsevier. pp. 552–553. ISBN 978-0-08-053318-6.

metamath.org

us.metamath.org

"Proof Explorer - Home Page - Metamath". us.metamath.org. Retrieved 2024-07-02.

springer.com

link.springer.com

Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths of proofs in propositional calculus". Computer Science Logic. Berlin, Heidelberg: Springer: 152. doi:10.1007/BFb0022253. ISBN 978-3-540-49404-1.

stanford.edu

intrologic.stanford.edu

"Introduction to Logic - Chapter 4". intrologic.stanford.edu. Retrieved 2024-08-16.

plato.stanford.edu

Franks, Curtis (2023), "Propositional Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-03-22

worldcat.org

search.worldcat.org

Cook, Stephen A.; Reckhow, Robert A. (1979). "The relative efficiency of propositional proof systems". The Journal of Symbolic Logic. 44 (1): 39. doi:10.2307/2273702. ISSN 0022-4812.