Biblioteca

Your search returned 5 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Understanding formal methods/ Jean-François Monin

by Monin, Jean, François.

Publisher: London: Springer 2003Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.131 M654u] (1).

Lattices and Ordered Algebraic Structures/ T.S. Blyth

by Blyth, T.S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer 2005Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.33 B597L] (1).

Mathematical Logic/ James Donald Monk

by Monk, James Donald.

Publisher: New York: Springer 1976Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.3 M654m] (1).

Sets, logic and categories/ Peter J. Cameron

by Cameron, Peter J.

Publisher: London: Springer 2008Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.322 C153s] (1).

Mathematical logic / H D. Ebbinghaus, J. Flum, W. Thomas

by Ebbinghaus, Heinz Dieter | Flum, Jörg | Thomas, Wolfgang.

Edition: 2a.ed.Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Publisher: New York : Springer Verlag; 1994Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.3 E154] (2).