Search ResultsElektronik Kaynaklar
by
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format:
by
Benthem, Johan van, 1949-
Format:
by
Jeroslow, Robert G., 1942-1988.
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=40
ScienceDirect https://www.sciencedirect.com/science/book/9780444871190
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=40
ScienceDirect https://www.sciencedirect.com/science/book/9780444871190
Format:
by
Logic Colloquium (1988 : Padova, Italy)
Format:
by
Logic Colloquium (1987 : Granada, Spain)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129
ScienceDirect https://www.sciencedirect.com/science/book/9780444880222
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129
ScienceDirect https://www.sciencedirect.com/science/book/9780444880222
Format:
by
Börger, E. (Egon), 1946-
Format:
by
Logic Colloquium (1985 : Orsay, France)
Format:
by
Logic Colloquium '84 (1984 : Manchester)
Format:
by
International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)
ScienceDirect http://www.sciencedirect.com/science/book/9780444876560
ScienceDirect https://www.sciencedirect.com/science/book/9780444876560
ScienceDirect https://www.sciencedirect.com/science/book/9780444876560
Format:
by
Halpern, Joseph Y., 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613040
Format:
by
Logic Colloquium '82 (Florence)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112
ScienceDirect https://www.sciencedirect.com/science/book/9780444868763
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112
ScienceDirect https://www.sciencedirect.com/science/book/9780444868763
Format:
Eylem Seç