AKTUELLE PARTNERANGEBOTE

Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen: Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre

Name: Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen: Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre
Brand: Benjamin Blankertz
SKU: 6613658

Binding : Taschenbuch, Label : VDM Verlag, Publisher : VDM Verlag, medium : Taschenbuch, numberOfPages : 184, publicationDate : 2016-06-28, authors : Benjamin Blankertz, ISBN : 363972495X

2 Angebote · ab 64,90 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen: Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre