First-order logic /
Main Author: | Smullyan, Raymond M. (συγγραφέας.) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin ; New York :
Springer-Verlag,
1968.
|
Series: | Ergebnisse der Mathematik und ihrer Grenzgebiete
43. |
Subjects: |
Similar Items
-
First-order modal logic
by: Fitting, Melvin 1942-
Published: (1998) -
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1990) -
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996) -
Lattices over orders /
by: Roggenkamp, Klaus W.
Published: (1970) -
Constructive order types /
by: Crossley, John N.
Published: (1969)