Search

Your search returned 8 results.

Results
		A Model–Theoretic Approach to Proof Theory [electronic resource] / by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski. by Kotlarski, Henryk [author.] \| Adamowicz, Zofia [editor.] \| Bigorajska, Teresa [editor.] \| Zdanowski, Konrad [editor.] \| SpringerLink (Online service). Series: Trends in Logic, Studia Logica Library ; 51Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory [electronic resource] / by Mauro Di Nasso, Isaac Goldbring, Martino Lupini. by Di Nasso, Mauro [author.] \| Goldbring, Isaac [author.] \| Lupini, Martino [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 2239Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering [electronic resource] : AMINSE 2017, Tbilisi, Georgia, December 6-9 / edited by George Jaiani, David Natroshvili. by Jaiani, George [editor.] \| Natroshvili, David [editor.] \| SpringerLink (Online service). Series: Springer Proceedings in Mathematics & Statistics ; 276Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Heyting Algebras [electronic resource] : Duality Theory / by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday. by Esakia, Leo [author.] \| Bezhanishvili, Guram [editor.] \| Holliday, Wesley H [editor.] \| SpringerLink (Online service). Series: Trends in Logic, Studia Logica Library ; 50Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Combinatorial Set Theory of C*-algebras [electronic resource] / by Ilijas Farah. by Farah, Ilijas [author.] \| SpringerLink (Online service). Series: Springer Monographs in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Temporal Type Theory [electronic resource] : A Topos-Theoretic Approach to Systems and Behavior / by Patrick Schultz, David I. Spivak. by Schultz, Patrick [author.] \| Spivak, David I [author.] \| SpringerLink (Online service). Series: Progress in Computer Science and Applied Logic ; 29Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019Online access: Click here to access online Availability: No items available.
		No cover image available Incompleteness for Higher-Order Arithmetic [electronic resource] : An Example Based on Harrington’s Principle / by Yong Cheng. by Cheng, Yong [author.] \| SpringerLink (Online service). Series: SpringerBriefs in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.
		Introduction to Discrete Mathematics via Logic and Proof [electronic resource] / by Calvin Jongsma. by Jongsma, Calvin [author.] \| SpringerLink (Online service). Series: Undergraduate Texts in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.