Titel

Merkliste
1 Ergebnisse

Frege Proof System and TNC⚬:

Takeuti, Gaisi
The Journal of Symbolic Logic. 63 (1998) 2 - p. 709-738 , 1998

Link: https://www.jstor.org/stable/2586859

RT Journal
T1 <Title>Frege Proof System and TNC⚬</Title>

UL https://suche.suub.uni-bremen.de/peid=jstor-2586859&Exemplar=1&LAN=DE
				
A1 Takeuti, Gaisi
PB The Association for Symbolic Logic, Inc.
YR 1998
SN 0022-4812
K1 Mathematics
K1 Pure mathematics
K1 Algebra
K1 Polynomials
K1 Philosophy
K1 Logic
K1 Logical topics
K1 Formal logic
K1 Mathematical logic
K1 Proof theory
K1 Proof calculi
K1 Sequent calculus
K1 Sequents
K1 Physical sciences
K1 Physics
K1 Microphysics
K1 Atomic physics
K1 Atoms
K1 Logical theorems
K1 Behavioral sciences
K1 Psychology
K1 Cognitive psychology
K1 Cognitive processes
K1 Thought processes
K1 Reasoning
K1 Inference
K1 Geometry
K1 Euclidean geometry
K1 Plane geometry
K1 Vertices
K1 Information science
K1 Information management
K1 Data management
K1 Data types
K1 Boolean data
K1 Induction assumption
K1 Propositional logic
K1 Bounded arithmetic
K1 Order theory
JF The Journal of Symbolic Logic
VO 63
IS 2
SP 709
OP 738
LK http://dx.doi.org/https://www.jstor.org/stable/2586859
DO https://www.jstor.org/stable/2586859
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)