Biblioteca

Your search returned 3 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).

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).