Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ruben Gamboa | lit.salon

Author

Ruben Gamboa

3 works

2014–2021 across 3 dated works

No biography is available yet.

Start with

Interactive Theorem Proving 5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014
With Gerwin Klein
Essential Logic for Computer Science2018
With Rex Page
How to Get and Sustain Holistic Health, Vitality and Longevity? Everything You Should Know2021

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Essential Logic for Computer Science2018
With Rex Page
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Interactive Theorem Proving 5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014
With Gerwin Klein
2 editions
shelves
0
reviews
0
lists
0
quotes
0
How to Get and Sustain Holistic Health, Vitality and Longevity? Everything You Should Know2021
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ruben Gamboa.

The conversation is still open.

There is no public salon activity to show for Ruben Gamboa yet.