Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Fr CHF

€ EUR

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "Gerhard Gentzen" wurden 7 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer International Publishing (7)

Gebunden (2)
Kartoniert / Broschiert (4)
Unbekannt (1)

Piecha, Thomas Wehmeier, Kai F. (2)
Wansing, Heinrich (2)

Franks, Curtis (2)
Horská, Anna (1)

Algorithm for translating Gentzen's notation of ordinal numbers (1)
C-Justification for empirical statements (2)
Completeness (2)
Constructive Logic (2)
Cut-elimination, substitution and normalization (2)
Deductive Logic (2)
Explaining deductive inference (2)
Fusing quantifiers and connectives (2)
General-elimination harmony and higher-level rules (2)
Gentzen's Logical Calculi (2)
Gentzen's notation and standard notation of ordinal numbers (1)
Gentzen's original numbering (1)
Gerhard Gentzen (7)
Gottlob Frege (2)
Hilbert's program (1)
Hypothesis-discharging rules in atomic bases (2)
Inferential semantics (2)
Intuitionistic existential instantiation and epsilon symbol (2)
Intuitionistic Logic (2)
Inversion principles and introduction rules (2)
Logical Constants (2)
Mathematical Logic (2)
Natural Deduction (2)
Non-standard representation of ordinal numbers up to e_0 (1)
Ordinal numbers up to e_0 (1)
Peano Arithmetic (1)
Peter Schroeder-Heister (2)
philosophical logic (2)
Proof Theory (2)
Proof-theoretic Semantics (2)
Sequent Calculus (2)
Transfinite induction up to e_0 (1)
Universal Property (2)

2013 (1)
2014 (1)
2016 (1)
2024 (2)
2025 (2)

Englisch (7)

HOME

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Gentzen's Logical Calculi

Gentzen's Logical Calculi

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Gentzen's Logical Calculi

Gentzen's Logical Calculi

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...