completeness | Akateeminen Kirjakauppa

Architectonics of Constellations - The Constellatory Unfolding Leitmotif in Mathematical Thinking and Its Weaving Screens of Qua

Zafiris, Elias; Müller, Albrecht von
Birkhauser
2026
Pehmeäkantinen kirja

59,70 €

Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 201

Jamnik, Mateja; Uesaka, Yuri; Elzer Schwartz, Stephanie
Springer International Publishing AG
2016
Pehmeäkantinen kirja

66,10 €

Vollkommenheit - Ästhetische Perfektion in Antike, Mittelalter Und Früher Neuzeit

Lobsien, Verena; Olk, Claudia; Münchberg, Katharina
De Gruyter
2010
Kovakantinen kirja

173,80 €

A Property Checking Methodology for Weakly Programmable System-on-Chip IPs

Loitz, Sacha
Shaker Verlag
2014
Pehmeäkantinen kirja

75,80 €

Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015

de Paiva, Valeria; de Queiroz, Ruy; Moss, Lawrence S.; Leivant, Daniel; de Oliveira, Anjolina G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

41,20 €

Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Blanchette, Jasmin Christian; Merz, Stephan
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 201

Pighizzini, Giovanni; Câmpeanu, Cezar
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Function Spaces with Uniform, Fine and Graph Topologies

McCoy, Robert A.; Kundu, Subiman; Jindal, Varun
Springer
2018
Pehmeäkantinen kirja

51,10 €

Sets, Models and Proofs

Moerdijk, Ieke; van Oosten, Jaap
Springer International Publishing AG
2018
Pehmeäkantinen kirja

34,20 €

Logos and Máthēma - Studies in the Philosophy of Mathematics and History of Logic

Murawski, Roman
Peter Lang AG
2011
Kovakantinen kirja

87,00 €

Hyperzirkularitat und Berechenbarkeit. Metamathematische und philosophische Implikationen der Unvollstandigkeit axiomatischer Sy

Boskovic, Edin
Grin Publishing
2016
Pehmeäkantinen kirja

70,30 €

Über die Möglichkeit von Freiheit im Kalkül - Ein Vergleich von Kants Freiheitsbeweis und Gödels Unvollständigkeitssätzen

Bücker, Sebastian
Springer Fachmedien Wiesbaden
2024
Pehmeäkantinen kirja

66,50 €

The Annotated Gödel

Prince, Hal
Homebred Press
2022
Kovakantinen kirja

24,00 €