Saltar al contenido
Welcome to University of UNSW, Bengaluru
Home
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sign In
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Canales
Deductive Systems in Traditional and Modern Logic
Buscar más canales:
Ejemplares similares: Deductive Systems in Traditional and Modern Logic
Opciones de canal
Ver registro
Explorar canales relacionados
Vista rápida
The Logical Writings of Karl Popper
Vista rápida
New Essays on Aristotle’s Organon
Vista rápida
Inquisitive Logic
Vista rápida
Logics
Vista rápida
Nuel Belnap on Indeterminism and Free Action
Vista rápida
Automated Reasoning
Vista rápida
Automated Reasoning
Vista rápida
Peter Schroeder-Heister on Proof-Theoretic Semantics
Vista rápida
Sémantique formelle: Volume 1
Vista rápida
Bulletin of the Section of Logic
Vista rápida
The Material Theory of Induction
Vista rápida
Foundations of Software Science and Computation Structures
Vista rápida
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Vista rápida
Tableau Methods for Propositional Logic and Term Logic
Vista rápida
Foundations of Software Science and Computation Structures
Vista rápida
Impossible Worlds
Vista rápida
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Vista rápida
Ontologia relazionale
Vista rápida
Informal Logic
Vista rápida
What Do We Know About the World? Rhetorical and Argumentative Perspectives
Vista rápida
EL PROBLEMA DE LA ESENCIA DE LA LÓGICA JURÍDICA RECOMENDACIONES DIDÁCTICAS
Vista rápida
The Resonant Brain
Vista rápida
Advances in Proof-Theoretic Semantics
Vista rápida
Logica pratica
Cargar más ítems
Tópico: quine
Añadir más canales como este
Mostrar lista de canales adicionales para Tópico: quine
Tópico: ontology
Tópico: multiple conclusion rule
Tópico: disjunction property
Tópico: metadisjunction
Tópico: axiomatizations of arithmetic of natural and integers numbers
Tópico: second-order theories
Tópico: Peano’s axioms
Tópico: Wilkosz’s axioms
Tópico: axioms of integer arithmetic modeled on Peano and Wilkosz axioms
Tópico: equivalent axiomatizations
Tópico: metalogic
Tópico: categoricity
Tópico: independence
Tópico: consistency
Tópico: logic of typical and atypical instances (LTA)
Tópico: logic of determination of objects (LDO)
Tópico: quasi topology structure (QTS)
Tópico: concept
Tópico: object
Tópico: typical object
Tópico: atypical object
Tópico: lattice
Tópico: filter
Tópico: ideal
Tópico: discussive logics
Tópico: the smallest discussive logic
Tópico: discussive operators
Tópico: seriality
Tópico: accessibility relation
Tópico: Kotas’ method
Tópico: modal logic
Tópico: deontic logic
Tópico: ontology of situations
Tópico: semantics of law
Tópico: formal theory of law
Tópico: Wittgenstein
Tópico: Wolniewicz
Tópico: non-Fregean logic
Tópico: identity connective
Tópico: sentential calculus with identity
Tópico: situational semantics
Tópico: deduction
Tópico: (dual) tableau
Tópico: Gentzen system
Tópico: deductive refutability
Tópico: refutation systems
Tópico: hybrid deduction–refutation rules
Tópico: derivative hybrid rules
Tópico: soundness
Tópico: completeness
Tópico: natural deduction
Tópico: meta-proof theory
Tópico: synthetic tableaux
Tópico: principle of bivalence
Tópico: cut
Tópico: first-order theory
Tópico: universal axiom
Tópico: Peano’s axiomatics of natural numbers
Tópico: Leśniewski’s elementary ontology
Tópico: Frege’s predication scheme
Tópico: Frege’s Zahl-Anzahl distinction
Tópico: term logic
Tópico: Franz Brentano
Tópico: Lewis Carroll
Tópico: logic trees
Tópico: logic diagrams
Tópico: paraconsistent logic
Tópico: paraconsistency
Tópico: Sette’s calculus
Tópico: the law of explosion
Tópico: the principle of ex contradictione sequitur quodlibet
Tópico: semantic tree
Tópico: distribution
Tópico: Aristotle’s logic
Tópico: syllogistic
Tópico: Jan Łukasiewicz
Tópico: axiomatic system
Tópico: axiomatic refutation
Tópico: temporal logic
Tópico: intuitionistic logic
Tópico: minimal system
Tópico: knowledge
Tópico: sequent-type calculi
Tópico: nonmonotonic logics
Tópico: default logic
Tópico: rejection systems
Tópico: Kripke models
Tópico: logics of evidence and truth
Tópico: n/a
Tópico: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and info...
Tópico: thema EDItEUR::P Mathematics and Science
Opciones de canal
Mostrar ítemes como resultados de búsqueda
Explorar canales relacionados
Vista rápida
Deductive Systems in Traditional and Modern Logic
Cargar más ítems
Tópico: logic
Añadir más canales como este
Mostrar lista de canales adicionales para Tópico: logic
Tópico: ontology
Tópico: multiple conclusion rule
Tópico: disjunction property
Tópico: metadisjunction
Tópico: axiomatizations of arithmetic of natural and integers numbers
Tópico: second-order theories
Tópico: Peano’s axioms
Tópico: Wilkosz’s axioms
Tópico: axioms of integer arithmetic modeled on Peano and Wilkosz axioms
Tópico: equivalent axiomatizations
Tópico: metalogic
Tópico: categoricity
Tópico: independence
Tópico: consistency
Tópico: logic of typical and atypical instances (LTA)
Tópico: logic of determination of objects (LDO)
Tópico: quasi topology structure (QTS)
Tópico: concept
Tópico: object
Tópico: typical object
Tópico: atypical object
Tópico: lattice
Tópico: filter
Tópico: ideal
Tópico: discussive logics
Tópico: the smallest discussive logic
Tópico: discussive operators
Tópico: seriality
Tópico: accessibility relation
Tópico: Kotas’ method
Tópico: modal logic
Tópico: deontic logic
Tópico: ontology of situations
Tópico: semantics of law
Tópico: formal theory of law
Tópico: Wittgenstein
Tópico: Wolniewicz
Tópico: non-Fregean logic
Tópico: identity connective
Tópico: sentential calculus with identity
Tópico: situational semantics
Tópico: deduction
Tópico: (dual) tableau
Tópico: Gentzen system
Tópico: deductive refutability
Tópico: refutation systems
Tópico: hybrid deduction–refutation rules
Tópico: derivative hybrid rules
Tópico: soundness
Tópico: completeness
Tópico: natural deduction
Tópico: meta-proof theory
Tópico: synthetic tableaux
Tópico: principle of bivalence
Tópico: cut
Tópico: first-order theory
Tópico: universal axiom
Tópico: Peano’s axiomatics of natural numbers
Tópico: Leśniewski’s elementary ontology
Tópico: Frege’s predication scheme
Tópico: Frege’s Zahl-Anzahl distinction
Tópico: term logic
Tópico: Franz Brentano
Tópico: Lewis Carroll
Tópico: logic trees
Tópico: logic diagrams
Tópico: paraconsistent logic
Tópico: paraconsistency
Tópico: Sette’s calculus
Tópico: the law of explosion
Tópico: the principle of ex contradictione sequitur quodlibet
Tópico: semantic tree
Tópico: distribution
Tópico: Aristotle’s logic
Tópico: syllogistic
Tópico: Jan Łukasiewicz
Tópico: axiomatic system
Tópico: axiomatic refutation
Tópico: temporal logic
Tópico: intuitionistic logic
Tópico: minimal system
Tópico: knowledge
Tópico: sequent-type calculi
Tópico: nonmonotonic logics
Tópico: default logic
Tópico: rejection systems
Tópico: Kripke models
Tópico: logics of evidence and truth
Tópico: n/a
Tópico: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and info...
Tópico: thema EDItEUR::P Mathematics and Science
Opciones de canal
Mostrar ítemes como resultados de búsqueda
Explorar canales relacionados
Vista rápida
Studia Humana
Vista rápida
Ruch Filozoficzny
Vista rápida
The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning
Vista rápida
Modes of Truth
Vista rápida
Sheaf Theory through Examples
Vista rápida
Contemporary Natural Philosophy and Philosophies - Part 3
Vista rápida
Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets
Vista rápida
Parafrasando Vignaux. Il posto della logica nella storia del pensiero medievale
Vista rápida
Meaning and the Dynamics of Interpretation
Vista rápida
Galen, ›On Demonstration‹
Vista rápida
Deductive Systems in Traditional and Modern Logic
Vista rápida
Epistemic Issues in Non-classical Religious Belief
Vista rápida
Contemporary Natural Philosophy and Philosophies - Part 1
Vista rápida
Ontologia relazionale
Vista rápida
Die Begründung des Realen
Vista rápida
Ordo eruditionis. Memoria delle discipline. Tracciati di razionalismo agostiniano
Vista rápida
Nuel Belnap on Indeterminism and Free Action
Vista rápida
Sprachliche Aggression bei Martin Luther
Vista rápida
Programming Languages and Systems
Vista rápida
What Do We Know About the World? Rhetorical and Argumentative Perspectives
Vista rápida
Essays on Logic, Ethics, and Universal Grammar
Vista rápida
Language, Truth, and Reality
Vista rápida
AI AND THE SINGULARITY
Vista rápida
Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika
Cargar más ítems
Ver registro
Anterior
Explorar canales relacionados
Siguiente
