Reset Filters
Literature type: Book

Author Results for Fitting Melvin 1942-

Melvin Fitting
Fitting,Melvin
Fitting,Melvin,
Melvin Fitting, Ewa Orłowska, editors
Orlowska,Ewa

1
First-order logic and automated theorem proving

Cover is for reference only
Main Authors: Fitting Melvin 1942-
Published: Springer,
Publication Dates: c1996.
Call Number: TP301/F547/2nd ed./
Book
Save to List
Saved in:
2
Computability theory, semantics, and logic programming

Cover is for reference only
Main Authors: Fitting Melvin, 1942-
Published: Oxford University Press Clarendon Press,
Publication Dates: 1987.
Call Number: TP31/F547/
Book
Save to List
Saved in:
3
Intuitionistic logic, model theory and forcing

Cover is for reference only
Main Authors: Fitting Melvin, 1942-
Published: North-Holland Pub. Co.,
Publication Dates: 1969.
Call Number: O141.4/F547/
Book
Save to List
Saved in:
4
Beyond two theory and applications of multiple-valued logic

Cover is for reference only
Group Author: Orlowska Ewa; Fitting Melvin 1942-
Published: Physica-Verlag,
Publication Dates: c2003.
Call Number: O141.3/B573
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —