Proof methods for model and intuitionistic logics Fitting Melvin

By:

Material type: Text

TextLanguage: English Publication details: Dordrecht D. Reidel Pub. Co. Description: vii, 555p cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Barcode
Textbook	Arts Library	Arts Library	R14 M3 (Browse shelf(Opens below))	Available	AL0786509

Previous								Next
Previous	R14 M0 Computability and logic	R14 M2 Elements of logic and foundations of mathematics in problems	R14 M2 Formal number theory and computability a work book	R14 M3 Proof methods for model and intuitionistic logics	R14 M3 Proof methods for model and intuitionistic logics	R14 M3 Understanding symbolic logic	R14 M4 Companion to modal logic	Next

There are no comments on this title.

to post a comment.