Priručnik uz "Logiku" (Manual for the textbook "Logic")

Zagreb: Hrvatska sveučilišna naklada (2004)
  Copy   BIBTEX

Abstract

The booklet provides teachers and others who use the textbook "Logic" by Srećko Kovač with basic theoretical and philosophical ideas about logic as a discipline, as well as practical instructions on how to use the textbook.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sentence logic.Paul Teller - 1989 - Englewood Cliffs, NJ, USA: Prentice-Hall.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Searching for Logic.Adam Morton - manuscript
forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Propositional logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Logic: The Drill.Nicholas J. J. Smith & John Cusbert - 2012 - Princeton University Press.
forall x: Dortmund (2nd edition).Simon Wimmer, P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach, J. Robert Loftis & Robert Trueman - 2021 - Dortmund:
The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.

Analytics

Added to PP
2023-04-01

Downloads
10 (#1,199,114)

6 months
7 (#439,668)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Srećko Kovač
Institute of Philosophy, Zagreb

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references