Investigations into the Predicate Calculus

Häftad, Engelska, 2022

Av Oiva Ketonen, Sara Negri, Jan Von Plato, Jan Von Plato

359 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2022-12-01
Mått156 x 234 x 8 mm
Vikt204 g
FormatHäftad
SpråkEngelska
Antal sidor140
FörlagCollege Publications
ISBN9781848904071

Tillhör följande kategorier

Du kanske också är intresserad av

Proof Analysis

Proof Analysis

Sara Negri, Jan von Plato, Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Jan Von Plato, Jan Von Plato

729 kr

Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Jan Von Plato, Jan Von Plato, Aarne Ranta

1 609 kr

Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Jan Von Plato, Jan Von Plato, Negri Sara

729 kr

Proof Analysis

Proof Analysis

Sara Negri, Jan von Plato, Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Jan Von Plato, Jan Von Plato

1 609 kr

Mathesis Universalis, Computability and Proof

Mathesis Universalis, Computability and Proof

Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

1 669 kr

Mathesis Universalis, Computability and Proof

Mathesis Universalis, Computability and Proof

Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

1 699 kr

Advances in Modal Logic, Volume 13

Advances in Modal Logic, Volume 13

Nicola Olivetti, Rineke Verbrugge, Sara Negri

499 kr

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato, Jan Von Plato, Jan Von Plato

1 559 kr

Portrait of Young Gödel

Portrait of Young Gödel

Jan von Plato, Jan Von Plato, Jan Von Plato

2 179 kr

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das, Sara Negri

729 kr