IMSc Library catalog › Details for: Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic

Normal view MARC view ISBD view

Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic

By: Felscher, WalterMaterial type: Text

TextPublication details: Netherlands ; Gordon & Breach ; 2000Description: 282p; 322p; 300pISBN: 90 5699 268 6Subject(s): Logic, Symbolic and Mathematical

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Status	Barcode
IMSc Library	IMSc Library	510.6 FEL (Browse shelf (Opens below))	Available	43715
IMSc Library	IMSc Library	510.6 FEL (Browse shelf (Opens below))	Available	43714
IMSc Library	IMSc Library	510.6 FEL (Browse shelf (Opens below))	Available	43713

	No cover image available							Next
	510.6 FAR Quantification theory	510.6 FEL Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic	510.6 FEL Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic	510.6 FEL Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic	510.6 FER Labyrinth of thought	510.6 FIS Introduction to practical formal methods using temporal logic	510.6 FIT First-Order Logic and Automated Theorem Proving	Next

There are no comments on this title.

to post a comment.